In “Zayd came, rather Amr,” bal necessarily proves Zayd did not come.

Particles of Meaning: Waw, Fa, Thumma, Bal and Lakin