T4

--- a ---> OneT

T3

--- a ---> T4

T2

--- a ---> OneT

T1

--- a ---> T2
--- b ---> T2

OneT

--- a ---> T3
--- a ---> T1