“a new correspondence theory of truth”