Y lo que se sigue, esto es: