diff --git a/certora/harnesses/ERC20VotesHarness.sol b/certora/harnesses/ERC20VotesHarness.sol
index 818a2ab0f..5067ecfba 100644
--- a/certora/harnesses/ERC20VotesHarness.sol
+++ b/certora/harnesses/ERC20VotesHarness.sol
@@ -1,4 +1,4 @@
-import "../../contracts/token/ERC20/extensions/ERC20Votes.sol";
+import "../munged/token/ERC20/extensions/ERC20Votes.sol";
 
 contract ERC20VotesHarness is ERC20Votes {
     constructor(string memory name, string memory symbol) ERC20Permit(name) ERC20(name, symbol) {}
diff --git a/certora/harnesses/WizardControlFirstPriority.sol b/certora/harnesses/WizardControlFirstPriority.sol
index 5e2eff17f..5ae7fe066 100644
--- a/certora/harnesses/WizardControlFirstPriority.sol
+++ b/certora/harnesses/WizardControlFirstPriority.sol
@@ -1,12 +1,12 @@
 // SPDX-License-Identifier: MIT
 pragma solidity ^0.8.2;
 
-import "../../contracts/governance/Governor.sol";
-import "../../contracts/governance/extensions/GovernorCountingSimple.sol";
-import "../../contracts/governance/extensions/GovernorVotes.sol";
-import "../../contracts/governance/extensions/GovernorVotesQuorumFraction.sol";
-import "../../contracts/governance/extensions/GovernorTimelockControl.sol";
-import "../../contracts/governance/extensions/GovernorProposalThreshold.sol";
+import "../munged/governance/Governor.sol";
+import "../munged/governance/extensions/GovernorCountingSimple.sol";
+import "../munged/governance/extensions/GovernorVotes.sol";
+import "../munged/governance/extensions/GovernorVotesQuorumFraction.sol";
+import "../munged/governance/extensions/GovernorTimelockControl.sol";
+import "../munged/governance/extensions/GovernorProposalThreshold.sol";
 
 /* 
 Wizard options:
diff --git a/certora/harnesses/WizardFirstTry.sol b/certora/harnesses/WizardFirstTry.sol
index 026e3d041..83fece04f 100644
--- a/certora/harnesses/WizardFirstTry.sol
+++ b/certora/harnesses/WizardFirstTry.sol
@@ -1,11 +1,11 @@
 // SPDX-License-Identifier: MIT
 pragma solidity ^0.8.2;
 
-import "../../contracts/governance/Governor.sol";
-import "../../contracts/governance/extensions/GovernorCountingSimple.sol";
-import "../../contracts/governance/extensions/GovernorVotes.sol";
-import "../../contracts/governance/extensions/GovernorVotesQuorumFraction.sol";
-import "../../contracts/governance/extensions/GovernorTimelockCompound.sol";
+import "../munged/governance/Governor.sol";
+import "../munged/governance/extensions/GovernorCountingSimple.sol";
+import "../munged/governance/extensions/GovernorVotes.sol";
+import "../munged/governance/extensions/GovernorVotesQuorumFraction.sol";
+import "../munged/governance/extensions/GovernorTimelockCompound.sol";
 
 /* 
 Wizard options: