更多可验证性 = 更多 EIGEN