[gentle]

Bernie Sanders wasn't even a Democrat at the time:

https://en.wikipedia.org/wiki/Bernie_Sanders#Party_affiliati...