tarski_lapkt
