diff --git a/environments/mkessler-proof.sty b/wip/mkessler-proof.sty
similarity index 100%
rename from environments/mkessler-proof.sty
rename to wip/mkessler-proof.sty