Something is composing.

(a · b) · c = a · (b · c)  |  a · e = e · a = a