|entries|tarski-truth|