3 :%% T2 (T1 {f1 = 3})