John Horton Conway (1937 – 2020)