pr t:a ( =.