Agentic programming reveals mechanical joins of an algebra of de facto components, that resisted capture by formal abstractions.Can we improve formal module abstraction so it can capture this statistically revealed duplication?That is, without the natural language api of agentic programming. As warned by the golden age of science fiction, wish-granting djinns, contractual fine print, legislative construction, and theological interpretation... precise articulation is difficult. Every field develops technical terminology replacing natural language. Hence, formal modules.A separate issue, of process, is that vibe-coding enables very rapid prototyping. Traditionally, we hack together a series of string-and-sealing wax prototypes to discover the problem to be solved, and how to solve it... and then rewrite. Or not.