Translation Of Attack Proves In Different Languages