tarski-operator · HackerTrans