a :
b :
c :
d :
T(x,c) :
T(b,y) :
T(x,d) :
T(a,y) :
f(x,y) :
