Cocky? Might want to consider a rename before you run into the Coq situation.