En el ejemplo de más arriba: