pr t : a;