I didn't know Mike Pence worked for Google.