Update rigorously.tex

brackets