Entonces el ejemplo de arriba sería simplemente