primitives.implication
Classes
Cut
Power
Prod