pr . , t:a;