pr t : a ( - 6k