Exercises-FOL-21.pdf