LANTEIRA: Tarski hazte un peta.