Así que tenemos