 where [this] is the set having for sole member the sum of what is demonstrated, [M] is the set of everything that is M (a join semi-lattice), [the M (that Q)] is the set having for sole member the sum of everything that is some M (that Q), [P] is the set having for members everything that P. 