فقط الأنظمة القابلة للإثبات ستنجو.