(See Commutative contract)