T1

--- a ---> T2
--- f ---> T1

T2

--- c ---> T1
--- b ---> T1