On group level, commutation can fail, but not associativity! so x(yz) = (xy)z!

How and why?

From the other perspective, introducing the function to evaluate we got