And, seems like we can interchange “Mike” for “Joe”.
Full disclosure: I’m still on the fence about Pence...leaning White Hat. Need more data points.