Remembering John Richards Hicks