diff --git a/description b/proof.md
similarity index 100%
rename from description
rename to proof.md