Coq vs. Diq?