Then Judas, marching against Carnion and the temple of Atergatis, killed twenty-five thousand people.ᵃᵇ