quick fix for tarski_0