検証可能性の向上 = EIGEN の向上