Add Coq responses.