rev(v)=p(v,g), rev(p(v,a))=p(v,o), rev(p(v,j))=v, rev(p(p(v,f),s))=p(p(v,d),f)