Template:Axiomatic