Ts(f1, 0)(f3, 0)

f1

f2

f3

d

r1

0

0

0

{1}