Title: Spier Set and Logic Module Instructor's Annotated Edition