Title: Axiomatic analysis