Difference between revisions of "Free variables (FOL)"