Redirecting to Tarski's theorem