Stav dette: La semántica funcional