coq: ed little