primitives.implication

Class Power