diff --git a/encodings/cert_star.lp b/sandbox/cert_star.lp
similarity index 100%
rename from encodings/cert_star.lp
rename to sandbox/cert_star.lp
diff --git a/prelude/numbers.lp b/sandbox/numbers.lp
similarity index 100%
rename from prelude/numbers.lp
rename to sandbox/numbers.lp
diff --git a/encodings/subtype_poly.lp b/sandbox/subtype_poly.lp
similarity index 100%
rename from encodings/subtype_poly.lp
rename to sandbox/subtype_poly.lp
diff --git a/encodings/subtyping.lp b/sandbox/subtyping.lp
similarity index 100%
rename from encodings/subtyping.lp
rename to sandbox/subtyping.lp