et~P[Ty\, 
i. 
