Translation Of Formal Obstacles In Different Languages