You do not have access to this note.

27.1 Counterexamples in FOL