Title: Instructor's manual for The art of logical reasoning