Yuri Gurevich Ilya Kapovich Alexei G. Myasnikov Vladimir Shpilrain