adding mathjax and cs70 post on direct proofs