If a proposition is necessarily true, then any possible world in which it is believed is a world in ...