“It is so, so bad when Mike Pence is an option.” Fixed that for you.