formal correspondence