let simplifier = ref true