Title: Teacher's manual, Predicate logic