coq.lits