C.2.4:15.2 - Migration from vague articulation prose
When routing or use depends on articulation, statements such as “still vague”, “more explicit now”, or “ready for formalization” should be migrated into explicit AE claims plus the corresponding move or routing claim.