I am unaware of some famous atheist named Randall.
Then he took “Rand,” the famous atheist , as a nickname, rather than the usual “Randy?”