 If such analyses are correct, then the semantics for ‘actually’ will allow us to explain why ‘Julius invented the zip’ is contingent and apriori and ‘water = H2O’ is necessary  aposteriori.[8]  [See the entries on  names  and  descriptions.  For a survey of other philosophical applications of the 2D framework in modal logic see (Humberstone 2004).]