primitives.implication

Class Cut