pr : t * r: