Files
proof_before_skeptic1.md