diff --git a/checking/goal-checking/01.md b/archive/checking/goal-checking/01.md
similarity index 100%
rename from checking/goal-checking/01.md
rename to archive/checking/goal-checking/01.md