David Redditt Jeter: A conversation with a leader