re: #47 Stanley Sea

He’ll quit first.

I wondered about that as well - does the nomination default to cruz in that event?