A home for the Coq files in an attempt to defeat the dragon in the axioms paper.