On Tue, Mar 13, 2001 at 04:15:31PM -0330, Theodore Norvell wrote: > Are there other identities that I've missed? What about associativity of mplus: (p `mplus` q) `mplus` r = p `mplus` (q `mplus` r) Good question! --Dylan Thurston