Avanzando con la semántica sin stack discipline.