disremember := proc(p:: procedure) 
 options  `Maple Advisor Database 1.01 for Maple 6`,
 `Copyright (c) 1999 by Robert B. Israel.  All rights reserved`;  
   local L, f, v;
     L:= {op(3,eval(p))} minus {remember};
     f:= subsop(3=op(L),4=NULL,eval(p));
     if nargs = 1 then 
       for v in [indices(op(4,eval(p)))] do
         f(op(v)):=p(op(v))
       od
     fi;
     eval(f);
     end;