p : t:- , allt rgs.