theory of correspondence