Update rigorously.tex