[math-fun] R.I.P., John W. Wrench Jr.