Power_associativity