Interview with Keith Devlin