Без заголовка

Можно ещё внести простой критерий качества выходной теории -- ее размер ("компактификация описаний")