doesn't matter, they both won 63 delegates each.
Bernie should drop now. It's just waste of time for him and for everyone else.