Kripke's possible-worlds semantics suggests non-deterministic branching represents genuinely distinc...