Redirecting to Naive set theory