Thu. Feb 6th, 2025

robust proof