Tarski... <3