English Equational Logic: перевод на другие языки