Esta misma función se definiría en Joy de la siguiente manera: