Redirecting to Kripke semantics