ThreeT

--- a ---> T1

T2

--- a ---> ThreeT

T1

--- b ---> T2
--- b ---> T1