On Plantinga's own actualist semantics, propositions have truth-values at worlds they are merely 'ab...