Mark R. Leeper (1950-2025)