proof.sty in repository.  Draft of transformation legality section.
Pass on related work and draft conclusion.
Did another pass on the introduction.