several revisions to translate-to-prove