формализуем