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