Педро Домингос, Василий Горохов (переводчик)