Encase Vs Axiomatic Meaning