top(push(v,a))=a, top(push(push(v,a),b))=b, top(push(push(v,b),a))=a, top(push(push(v,u),s))=s