let
is_true =
Fol
.is_true