Power_associativity loading ...