In case you were wondering...

...Rand Paul's first name is Randall. He was not named after Ayn Rand.