Tutorial 9: Conditional Proof and Indirect Proof