Correspondence theory of truth - O'Connr, D. J. (Hutchinson, 1975)