T(f1, 0)(f2, 0)

f1

f2

f3

d

r4

0

0

1

{2}