B.5.RR:7 - Conformance Checklist

• The present question and the consequential change are stated.
• The reasoning used by the receiving conclusion is recoverable at the needed depth.
• Joint prerequisites, shared premises and sufficient alternatives are preserved.
• Affected transitions are reworked under their applicable inference or construction rules.
• The revised conclusion retains its domain, conditions and any unresolved premise.
• The receiver can identify the next action, useful stop or contribution still required.