File:Karsh axiomatic.png