ووفقا لهذه النظرية, فان شروط حقيقة الجملة وكذلك الجمل نفسها هي جزء من ا. لذا, مثلا, الجملة الثلج تكون بيضاء صحيح اذا و فقط اذا كان الثلج ابيض. على الرغم من ان العديد من الفلاسفة قد فسر, وما يزال في تفسير, نظرية tarski بوصفها نظرية الانكماشية, الا انبوبر يشير اليها بوصفها نظرية صحيحة يتم استبدالها مع الحقائق. وهو يعتمد هذا التفسير على ان امثلة مثل تلك التي ذكرها اعلاه تشير الى شيء هما: التاكيد والحقائق التي تشير اليها. وهو يحدد صياغة شروط الحقيقة من الجمل بوصفها مقدمة من اصل metalinguistic. وتميز الحالات التالية:
بما يقولبوبر نظرية tarski تحل محل الاصلي " صحيح?"
تتوافق مع الحقائق