A> B, B > C, is A > C