</>
[pic]

...  ↑

metanymous

Модели вычислительно неприводимых задач не соотвествуют правилу ТКП