principle of correspondence