Translation Of So We Can Prove In Different Languages