Translation Of Valid Theory In Different Languages