pr T : a allt R :gds