I think coq understands why mirdie drives me to infanticide, yet mirdie himself still does not.