In these early years of the new millennium, there has been considerable academic concern over the stubbornness of Cartesian dualism and the conceptual difficulty of uniting the mental and physical sides of reality. Meanwhile, it has gone all but unnoticed in academic circles that the formal aspect of this challenge was met decades ago, and in the most effective possible way. This paper contains a brief introductory account of the work in question, including a highly simplified description of the logicomathematical reasoning needed for the proper high-level theoretical description of reality. Everything follows from the requirements of this objective. Aside from the author's own writings, there is as yet no well-defined field of mathematical...