Self-validating reduction