let show_explanations = ref false