Title: Instructor's manual for symbolic logic and language