John Wallace Thompson (1918-2001)