Let T1: P1 -> P2