m:-get0(X),X>0,put(X),get0(Y),m.