Промежуточные факты и доказательства: визуализация ключевых моментов