A package meant to check the cancellation axioms of additive conjoint measurement.