Формализовал-формализовал неформализуемое, да не выформализировал.