Covering the sections “Proving Four Possibilities” and “Proving Mutual Exclusion.”