John Horton Conway (26 December 1937 – 11 April 2020)