Title: Exercises in logic