let is_false = Fol.is_false