diff --git a/agora/Agora/Stake/Redeemers.hs b/agora/Agora/Stake/Redeemers.hs
index e02e87f..3c0dd37 100644
--- a/agora/Agora/Stake/Redeemers.hs
+++ b/agora/Agora/Stake/Redeemers.hs
@@ -293,15 +293,12 @@ premoveLocks =
                 createdAt
               ) =
               let notInCooldown = createdAt + unlockCooldown #<= lowerBound
-               in foldl1
-                    (#||)
-                    [ shouldRemoveAllLocks
-                    , -- Fail the transaction if a voter lock is in cooldown.∏
-                      passert
-                        "Voter lock shouldn't be in cooldown"
-                        notInCooldown
-                        (pconstant True)
-                    ]
+               in pif shouldRemoveAllLocks (pconstant True) $
+                    -- Fail the transaction if a voter lock is in cooldown.
+                    passert
+                      "Voter lock shouldn't be in cooldown"
+                      notInCooldown
+                      (pconstant True)
 
           shouldRemoveLock =
             flip