Update aversive.tex