Nominally we do software for projects that interest us at all levels from esoteric stuff involving optical-switch embedded processing (ARM/C-assembler), through AI (Lisp-T, Probabilistic Inference Engines, Natural Language Processing, Machine Vision, Neural Networks), to bread-and-butter work with Document Rendering Workflow Transaction Processing (WWW, Windows, HTML, C++, C#, Office, VBA), and 24x7 retail-PBM e-Commerce (content management, ECMA-Script) ... with a smattering of APL and Squeak work in specialized environments just for fun ...... but of late we've become interested in Provable Reality Modelling, by which we mean we've developed a minimum-concept all-case hierarchical paradigm that starts with the Reality of 0 Conceptual Entities at the absolute 0-axiom root.... and then by easy steps defines provably the necessary and sufficient single-concept inversion at each level that generates the non-deterministic meta-conceptual hierarchy that models minimally the generative instantiation of the existentially-determinative behaviourally reifing characteristics by which an actual physical entity is distinguished as an exemplar of its abstract Platonic Ideal.It takes not much longer than that to be able to prove Entropy -> Life -> Motility -> Neurons -> Conceptualization -> SelfReference -> Recursion -> SocialComplexity -> GroupEvolution -> IdentityMythos -> SocialTruth -> AbstractedControl -> InsitutionalSpecialization -> BehaviouralPlasticity -> IndividualNormalization -> NormedMorality -> the fundamental dichotomy of human nature.Which, it turns out, is not mysterious or mystical at all -- it's simple and obvious and a matter of a conceptual recursion by a physical brain that cannot be other than what it is -- which is not at all what we all "experience" it to be. And there is much utility in getting reality right, simply, every time.