2025-Jan-08-Proofs2025-Jan-14-Proofs