diff --git a/test/invariant/InvariantBridge.t.sol b/test/invariant/InvariantBridge.t.sol
index 7a1bfdd6..11d1019e 100644
--- a/test/invariant/InvariantBridge.t.sol
+++ b/test/invariant/InvariantBridge.t.sol
@@ -343,4 +343,22 @@ contract InvariantBridge is Test {
         }
         vm.selectFork(resetId);
     }
+
+    /// forge-config: default.invariant.runs = 256
+    /// forge-config: default.invariant.depth = 15
+    /// forge-config: default.invariant.fail-on-revert = true
+    function invariant_NoRemainingWETH() external {
+        vm.selectFork(rootId);
+        assertEq(rootBridge.rootWETHToken().balance, 0);
+        vm.selectFork(resetId);
+    }
+
+    /// forge-config: default.invariant.runs = 256
+    /// forge-config: default.invariant.depth = 15
+    /// forge-config: default.invariant.fail-on-revert = true
+    function invariant_NoRemainingWIMX() external {
+        vm.selectFork(childId);
+        assertEq(childBridge.wIMXToken().balance, 0);
+        vm.selectFork(resetId);
+    }
 }