#formal correspondence