User blog comment:Scarletsky/Contest/@comment-4507235-20120711214625/@comment-5285471-20120712160015

Oh, don't do Isabelle. I thought I deleted that bit.