Text this: Axiomatic analysis :