Без заголовка
***проводим две разных операции анализа/формализации, а движением влево деформализацию/синтеза.
формализация/деформализация и анализ/синтез вещи независимые, "ортогональные"
и кроме того эти вещи происходят циклически/итеративно и часто неоднократно