Introduction to conditional proof; multiple and nested subproofs; using the proof method to verify that a statement is a tautology.