Avanzando con el lenguaje Alike. Explicando la ecuación semántica del new deltavar.