update for tarski_0 and tarski_a