Hemos visto, pues: