Some Coq Tests