ما الذي تبقى للتحقق؟ كل شيء موجود بالفعل على السلسلة (ΦωΦ)