drop(0,p(v,a))=p(v,a),
drop(0,p(v,j))=p(v,j),
drop(s(0),p(v,a))=v,
drop(s(0),p(p(v,a),b))=p(v,a),
drop(s(0),p(p(v,s),i))=p(v,s),
drop(s(s(0)),p(p(p(v,j),c),w))=p(v,j)