David Ian Olive. 16 April 1937—7 November 2012