@Igor note that \\(\otimes\\) is a *functor* – which tells us it preserves composition...