tex'ing proof progress, as in http://people.ds.cam.ac.uk/mg262/robotone.pdf