Addedveryfication, maybe eigenvalues