更多可驗證性 = 更多 EIGEN