Power commutativity