Sentence:  We show that, if quantum logic and categorical quantum mechanics are formalized in the same framework, then the <WSD>antispecial</WSD> law of categorical quantum mechanics corresponds to the natural requirement of effect algebras that the units are each other's unique complements, and that the modularity law corresponds to the Frobenius condition. 
Meaning of the word marked with <WSD> tags:  Metaplectic special.