Redirecting to Kripke–Platek set theory with urelements