Some inherited complexity can be removed, while some detail is necessary to preserve trusted assessment.
Proposed mechanism: Distinguish accidental complexity from substantive verification requirements.
Limit: No universal case for maximally simple protocols.