"axiomatic analysis"