Gibson Raymond Smith (1931-2015)