re: #334 freetoken

So I guess we’re calling this “Elimination Tuesday”.

It’ll be over for Rubio soon enough. And likely for Kasich. It could even signal Cruz’s demise if Trump takes Ohio and gives Trump a commanding lead against everyone else.