Instructor's manual for The art of logical reasoning