«وَلَمَّا جَاءَهُمْ كِتَابٌ مِنْ عِنْدِ اللَّهِ مُصَدِّقٌ لِمَا مَعَهُمْ»
“When a Book came to them from God confirming what they had.” (al-Baqarah 2:89, excerpt)
«فَلَمَّا جَاءَهُمْ مَا عَرَفُوا كَفَرُوا بِهِ»
“Then, when what they recognized came to them, they rejected it.” (al-Baqarah 2:89, excerpt)
Both clauses concern the coming of the revelation. The second highlights prior recognition followed by rejection, not a necessary second arrival.
The repeated temporal phrase sharpens the moral contradiction between recognition and refusal. This is a case where repetition increases the force of responsibility rather than simply doubling information.