Todo verificable Nada más importa EIGEN