Talk:Tarski/@comment-33894112-20190727165116/@comment-36369369-20190727174915

No, Tarski is Austria..?