 It's not as if they all got up that one day and left. Many left before. Many, many left before that. And many left afterwards, but they left, of course, as Christians on the outside and recovered their Jewish identity afterwards. But let's just say there's no extant Jewish music from around that time. So we know a lot of the words of what they were singing, but we don't know what tunes they used.