pr t:a ; allt rgdS.