 To render this hypothesis precisely, we may help ourselves to the formal framework of ‘possible worlds,’ which offers an elegant and powerful semantics for modal language. On this framework, a proposition is possible just in case it is true at some possible world. We can then say an agent is able to A just in case she performs that act at some world (or set of worlds) that satisfy some independently specifiable set of conditions.