pr t:a , I: