pr f:a ; allt rgdS.