Типы формализации: визуальные объяснения