In 1968, Knuth demonstrated that formal structure combined with natural language content communicates algorithms better than either alone. This architecture—pseudocode—became the dominant notation for algorithm exposition. The insight remained implicit. Knowledge representation remains divided: formal systems that lose meaning, or natural language that loses structure. We establish that a generalization of Knuth's architecture to knowledge is both necessary and now possible. The generalization was blocked by a missing condition: no reader existed capable of holding richer formal systems alongside multilingual natural language. AI systems (c. 2024) satisfy this condition. The generalization opens a class of possible notations. We reference Lingenic as one example of this class. This paper's formal notation is Lingenic.