[identity profile] outbrain.livejournal.com 2005-12-06 11:25 am (UTC)(link)
Именно о поправке стиля и шла речь, не более того. В новой формулировке вполне кошерно :) Нет неявных кванторов всеобщности - сохраняется контекст первого условия.