A Semantical Account of Progression in the Presence of Uncertainty