let is_true = Fol.is_true