diff --git a/test/kontrol/StorageSetup.sol b/test/kontrol/StorageSetup.sol
index 61b0c600..c956d312 100644
--- a/test/kontrol/StorageSetup.sol
+++ b/test/kontrol/StorageSetup.sol
@@ -28,6 +28,7 @@ contract StorageSetup is KontrolTest {
         // Slot 2
         uint256 shares = kevm.freshUInt(32);
         vm.assume(shares < totalShares);
+        vm.assume(shares < ethUpperBound);
         _stEth.setShares(address(_escrow), shares);
     }