puzzlebois_Coq