المزيد من قابلية التحقق = المزيد من EIGEN