Redirecting to Kripke–Platek set theory