Ninian Martin Stephen (1923-2017).