TwoT

--- tau ---> T1
--- a ---> T2
--- b ---> T3

T3

None.

T2

None.

T1

--- tau ---> T1