Cezary Kaliszyk: Improved Assistance for Interactive Proof (Keynote). CPP 2023: 2