Improve backward references in formal.tex.