Now before I continue here comes a little bit of notation and I want to introduce the symbol mu Pj for the set of all pairs of propositions p and q, all those pairs that are in proposition their Pj and that are mutex. 