small change to translate-to-prove