John Hubbard 1931-2017