Redirecting to Tarski–Kuratowski algorithm