Así que lo que tenemos es