$EIGEN 5.07 is a historical peak