Kripke's modal semantics distinguishes what is actually universal from what is necessarily universal...