EXD.3:4.4 - Inspect the specific gain and loss
Try the intended inference or comparison under the stated conditions. EXD.6 helps choose a bounded comparison when its result can change which expression is retained.
Keep content, expression and help changes identifiable. A promising arrangement can be retained provisionally on a stated design reason; an observed advantage requires the corresponding evidence. Restore an omitted condition or return to the source when the representation invites a different claim. Stop adding forms when one arrangement is sufficient.