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.