a ∘ (a ◌̅ b)