Interesting point. It's hard to prove theorems without the [correct] axioms. I suppose what our field needs to do is some "triage" categorizing aspects of sys

Interesting point. It's hard to prove theorems without the [correct] axioms. I suppose what our field needs to do is some "triage" categorizing aspects of systems that MUST be "defined and proven" vs those that can be "intuited" - e.g. - back-end database updates need to be correct, but it's acceptable to have the user reload a web page if something crashes occasionally??? But The Man wants lots of 'wares made by cheap full stack developers, er, dev-ops :-(