Update cohen.tex