Package primitives.implication