Update hoare-rules.tex