let
p_not a =
Fol
.p_not a