Title: Instructors Lab Manual to Logicworks