let
is_false =
Fol
.is_false