Playing with Coq.