lo que hemos tratado aquí,