Dale Miller: Treating Congruences as Equalities Within Proofs. FSCD 2026: 24:1-24:17