Translation Of Requirement To Prove In Different Languages