/src/CatTheory/Exercise1/Contradiction/