Coq 🐓 vs coq 🐓