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