Abstract Language and logic are fundamental to the representation of legal knowledge.
Geometric logic is of current interest in theoretical computing science.
Progress achieved in local systems with artificial intelligence and with cognitive legal reasoning and with model logics now needs to be put together to achieve an integrable operating system for the Earth. This cannot mean a single simple global system but a constructive interoperability between all systems with consistency. The commutation of legal language and legal logic is discussed in the context of motor licensing to illustrate that category theory has the ability to combine diagrammatic formalisms as in geometry with symbolic notation as in algebra.