T_s(f₁, 0)(f₂, 1)

f₁

f₂

f₃

d

r₂

0

1

1

{1,2}