MATH.6:7 - Conformance Checklist

• The construction uses the domains, operation rules and assumptions of the claim being tested.
• The failure condition retains quantifier order and the allowed dependence of each choice.
• The proposed objects satisfy the assumptions and defeat the conclusion in the same interpretation.
• A finite search result states its covered scope; any wider conclusion has its own argument.
• The result changes the receiving proof, construction or question, with any proposed repair stated separately.