Our talk proposal “Verifying Effectful Programs via Answer-Type Modification” has bee accepted at OlivierFest 2025.