T1 and T2 aren't necessary here.