pr ( 1 : ( t : (l