Dudley Simpson RIP (1922-2017)