СРОЧНО: "Аристотель теперь написал большинство публичных формализованных решений на ." — Борис Алексеев, математик