Links for tarski-tmp