And worse, right through to experienced engineers telling me that I couldn't possibly specify all functionality this way, because the basic axioms are so small

And worse, right through to experienced engineers telling me that I couldn't possibly specify all functionality this way, because the basic axioms are so small and few in number. But when I have managed to implement this way, the amount of pain that does not appear in later stages of deployment is startling. I have a uniquely frugal algorithm for execution of the state tables I generate, reduces down to a handful of logic operations, DM me if you are interested to discuss.