281: \$$(\Theta \otimes 1) \circ \alpha . (1 \otimes \Psi) \circ \alpha \circ (\Phi \otimes 1) \$$

Two questions here:
1. Am I missing unitors somewhere?
2. The associator only seems to go *from* \$$(X \otimes Y) \otimes Z \$$ *to* \$$X \otimes (Y \otimes Z) \$$: but I use it in both directions: how do I fix this?