Rewrite (syntax) summery
No handout mode!