correspondence addition