Hankey, A. Following the Lucas Argument to Completion: J.R. Lucas, 18 June 1929 – 5 April 2020, In Memoriam. Cosmos and History 2021, 17, 265-278.