To capture what he considered to be the essence of the Correspondence Theory, Alfred Tarski created his Semantic Theory of Truth. In Tarski's theory, however, talk of correspondence and of facts is eliminated. (Although in early versions of his theory, Tarski did use the term "correspondence" in trying to explain his theory, he later regretted having done so, and dropped the term altogether since it plays no role within his theory.) The Semantic Theory is the successor to the Correspondence Theory. It seeks to preserve the core concept of that earlier theory but without the problematic conceptual baggage.