Rank omega is Tarski