Wed. Jan 22nd, 2025

robust proof