So they're doing this vector correlation for every song in their database (40 million)?