last(p(v,a))=b, last(p(v,b))=a, last(v)=a, last(p(p(v,a),b))=b, last(p(p(p(v,a),b),a))=b