Max_and_Min_are_Commutative