David Lindley (1944 - 2023)