(propositionalLogic: StringAdd).self
(propositionalLogic: StringFormat).self
(propositionalLogic: ArrowAssoc[PropositionalLogic]).x
(Since version 2.10.0) Use leftOfArrow
instead
(propositionalLogic: Ensuring[PropositionalLogic]).x
(Since version 2.10.0) Use resultOfEnsuring
instead