According to this theory, the conditions for the truth of a sentence as well as the sentences themselves are part of a metalanguage. What does Tarski base his interpretation of Popper on?