Title: Instructor's manual to accompany Becoming logical, an introduction to logic