19
LFP
•
WAIT !
lfp
is defined only if F
f
is
monotone.
•
•
Perhaps restrict
lfp
to monotone formulas
f
only ?