diff --git a/paper/proof_irr.lp b/paper/proof_irr.lp
index a9a4f05cda337aecdeb6f629685a47103c960143..6de8b6b21206aed34c30d1ece13df785f77e5039 100644
--- a/paper/proof_irr.lp
+++ b/paper/proof_irr.lp
@@ -1,6 +1,6 @@
 require open personoj.encodings.lhol
 require open personoj.encodings.pvs_cert
-require open personoj.encodings.bool_hol
+require open personoj.encodings.logical
 
 
 set declared "â„•"
diff --git a/paper/stack.lp b/paper/stack.lp
index 55916a8abebdf1cc5cd9062089727896f6b5d7e5..1561c4185e32a50bdd6d6b6ea85c863275daddd3 100644
--- a/paper/stack.lp
+++ b/paper/stack.lp
@@ -1,6 +1,6 @@
 require open personoj.encodings.lhol
 require open personoj.encodings.pvs_cert
-require open personoj.encodings.bool_hol
+require open personoj.encodings.logical
 
 constant symbol stack: Set
 constant symbol empty: El stack
diff --git a/paper/rat_generalised.lp b/sandbox/rat_generalised.lp
similarity index 100%
rename from paper/rat_generalised.lp
rename to sandbox/rat_generalised.lp