(x * y) * z = x * (y * z).
