C.2.4:2 - Problem

When articulation explicitness stays implicit, authors either overstate readiness for a receiving pattern or hide useful early structure. Reusing F for this judgement creates a category error: formality concerns rigor of expression, while articulation concerns whether the meaning needed by the actual receiving use is explicit. A relation-shaped ladder creates a second error by scoring other well-formed claim kinds as immature merely because they are not relations.