In Memoriam John E. Wills, Jr. 1936–2017