so I think this should be something like v'=Rv. It will also simplify the formulas below, i.e. by simply writing R=ABC=[cos sin ...], possibly without fully expanding the A,B,C since they are already defined above. That way v'=R*[0 0 -1]^T=[-cos sin ..etc]. I am basically saying the formulas can be more compact and less verbose.