Kan niet wachten op wat er komt met autoformalisatie in 2026