Rename tarski.pdf