Redirecting to Tarski's undefinability theorem