But the Jews, as we just said, instituted a dance, and then gave themselves up to feasting, glad thanksgiving, and psalms.