'b.CompoD

--- 'b ---> CompoD

a.CompoD

--- a ---> CompoD

CompoD

--- a ---> 'b.CompoD
--- 'b ---> a.CompoD