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

Dmitry Gerasimov

Нет. Более того, было эксплицитно сказано, что мы начинаем с чистого листа, будем вводить новые понятия по мере надобности и каждый логический шаг будет формулироваться отдельно.