Proof by Translation