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