effective correspondence