27
Discussion 1 (cont’d)
•We can express the same formula without free variables in lfp
•[show in class]
•
•This holds in general