Well, yes, but tell that to the proof assistants, automated theorem provers, academic snowclone^W^H phrasal template banks, and highly bullet pointed lists of C

Well, yes, but tell that to the proof assistants, automated theorem provers, academic snowclone^W^H phrasal template banks, and highly bullet pointed lists of Corporate ISO9000 series GRC Policy & Procedure Work Instruction Drafting Style Guide Manual Template Files as well as the resulting legislative outputs( via lobbying, lol). Cf. my points in the Twitter thread, on proforms, thematic relations, and one anaphora¹. There exist only so many ways in which to formally answer arbitrary instances of the 7 fundamental questions (yes, 7, not 5—or six, like IBM's Zachman framework would have one believe.). ¹ the Dalai Lama walks into a pizza place and asks: Can you make me one with everything?