 In general, the strategy of giving up the classical schema Q2 in favor of its free counterpart solely to make room for contingent beings in one’s quantified modal logic is a bit fraught for the actualist. For, according to actualism, there are no possibilia and, hence, constants and free variables cannot but denote actually existing things. Consequently, instances of both Q2 and Id1 are still logical truths; they are simply logical truths of the actual world that fail at some possible worlds. Ideally, then, as Adams puts (1981: 30), in a proper quantified modal logic, they should be “contingent theorems”, that is, provable but not subject to necessitation. This idea can in fact be preserved in A simply by adding a schema expressing the actualist view that all terms denote existing things: