Нет замороченных отрицаний и сложных интерфейсов ↑
metanymous в посте Metapractice (оригинал в ЖЖ)
(1) В коммуникативном контексту не учитываем малоупотребительные замороченные описания.
(2) В коммуникативном контексте нам нужны интерфейсы, которые подсказывают правильное логическое счисление, но, эти интерфейсы не должны быть чрезмерно сложные. Но, даже интерфейс логической игры ЛК, кажется, слишком сложный, чтобы быть коммуникативным интерфейсом.