Translation Of Interesting Logic In Different Languages