diff --git a/certora/specs/StakeManager.spec b/certora/specs/StakeManager.spec
index c1ab2b3..bd02388 100644
--- a/certora/specs/StakeManager.spec
+++ b/certora/specs/StakeManager.spec
@@ -119,7 +119,9 @@ rule revertsWhenNoMigration(method f) {
 //   assert before == staked.balanceOf(user);
 // }
 
-rule epochOnlyIncreases {
+rule epochOnlyIncreases(method f) filtered {
+  f -> f.selector != sig:migrationInitialize(uint256,uint256,uint256,uint256).selector;
+} {
   method f;
   env e;
   calldataarg args;