Diversity: A Conversation with John Hall