diff --git a/certora/specs/GovernorBaseRules.spec b/certora/specs/GovernorBaseRules.spec
index d1dc29581..2f206de22 100644
--- a/certora/specs/GovernorBaseRules.spec
+++ b/certora/specs/GovernorBaseRules.spec
@@ -1,5 +1,5 @@
-import "helpers.spec"
-import "Governor.helpers.spec"
+import "helpers/helpers.spec"
+import "helpers/Governor.helpers.spec"
 import "GovernorInvariants.spec"
 
 use invariant proposalStateConsistency
diff --git a/certora/specs/GovernorChanges.spec b/certora/specs/GovernorChanges.spec
index bce702156..294050035 100644
--- a/certora/specs/GovernorChanges.spec
+++ b/certora/specs/GovernorChanges.spec
@@ -1,5 +1,5 @@
-import "helpers.spec"
-import "Governor.helpers.spec"
+import "helpers/helpers.spec"
+import "helpers/Governor.helpers.spec"
 import "GovernorInvariants.spec"
 
 use invariant proposalStateConsistency
diff --git a/certora/specs/GovernorFunctions.spec b/certora/specs/GovernorFunctions.spec
index fd6ea4191..11560bdd7 100644
--- a/certora/specs/GovernorFunctions.spec
+++ b/certora/specs/GovernorFunctions.spec
@@ -1,5 +1,5 @@
-import "helpers.spec"
-import "Governor.helpers.spec"
+import "helpers/helpers.spec"
+import "helpers/Governor.helpers.spec"
 import "GovernorInvariants.spec"
 
 use invariant proposalStateConsistency
diff --git a/certora/specs/GovernorInvariants.spec b/certora/specs/GovernorInvariants.spec
index b4325ba36..255c5c344 100644
--- a/certora/specs/GovernorInvariants.spec
+++ b/certora/specs/GovernorInvariants.spec
@@ -1,5 +1,5 @@
-import "helpers.spec"
-import "Governor.helpers.spec"
+import "helpers/helpers.spec"
+import "helpers/Governor.helpers.spec"
 
 /*
 ┌─────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┐
diff --git a/certora/specs/GovernorPreventLateQuorum.spec b/certora/specs/GovernorPreventLateQuorum.spec
index 97f4c8f6f..c12f6ae8a 100644
--- a/certora/specs/GovernorPreventLateQuorum.spec
+++ b/certora/specs/GovernorPreventLateQuorum.spec
@@ -1,5 +1,5 @@
-import "helpers.spec"
-import "Governor.helpers.spec"
+import "helpers/helpers.spec"
+import "helpers/Governor.helpers.spec"
 import "GovernorInvariants.spec"
 
 methods {
diff --git a/certora/specs/GovernorStates.spec b/certora/specs/GovernorStates.spec
index 891b42e5c..2b1746bd3 100644
--- a/certora/specs/GovernorStates.spec
+++ b/certora/specs/GovernorStates.spec
@@ -1,5 +1,5 @@
-import "helpers.spec"
-import "Governor.helpers.spec"
+import "helpers/helpers.spec"
+import "helpers/Governor.helpers.spec"
 import "GovernorInvariants.spec"
 
 use invariant proposalStateConsistency
diff --git a/certora/specs/Governor.helpers.spec b/certora/specs/helpers/Governor.helpers.spec
similarity index 100%
rename from certora/specs/Governor.helpers.spec
rename to certora/specs/helpers/Governor.helpers.spec