 To use a temporal analogy, a Beth model allows a decision between two alternatives, or the production of a witness to an existential statement, to be postponed until more information and possibly more individuals are available. A Kripke model demands an immediate decision between two alternatives, or the immediate choice of a witness to an existential statement from the current domain of individuals.