A semantic model for axiomatic systems design. (June 2018)