T1(k1(pk),k2(fk:T2.k2),A)
T2(k2(pk),C)