Module 4: Formal Thought