VII.D89 — Subject-Tool Collapse

Occurs when every proof about entity X requires X as presupposition; subject and tool coincide; boundary of diagrammatic register.