Redirecting to Tarski's indefinability theorem