coq-function-ninjas added