The vanquished Bernie just got a shout out.
Bernie chants erupt!
I heard someone yelling (not Hillary).