RSA.tex updates