The Semantics Of Optionality