Def/Commutative 1