con lo que tenemos: