July 23, 2025 mifferman https://docs.google.com/document/d/11E165LbzizDdrW05fPqRM9UzKdMdtaEeOc4CPwdzQpM/edit?usp=drivesdk