Obituary: R.T.G. Thompson