primitives.implication

Class Prod