The Correspondence Theory of Truth