Instructor's manual to accompany Formal logic: Its scope and limits