Text this: Alfred Tarski