Итоги голосования для комментария:

Dmitry Gerasimov

Если этот тот, который мне вспоминается (ахаха), то там каких-либо трудностей с оперированием абстракциями не было. Были, скажем так, довольно странные логические выводы типа: «Герасимов назвал такой-то способ играть неправильным ⇒ Герасимов считает, что есть какой-то единственно правильный способ играть».