Instructor's manual for The logic book | lit.salon