(a ∘ b) ∘ (b ∘ a)