axiom-rejection-protocol

Reject axioms that violate established ground truth.