Encase Vs Axiomatic System Example