diff --git a/agora/Agora/Stake/Redeemers.hs b/agora/Agora/Stake/Redeemers.hs
index f03e9aa..3be7957 100644
--- a/agora/Agora/Stake/Redeemers.hs
+++ b/agora/Agora/Stake/Redeemers.hs
@@ -351,9 +351,12 @@ pdestroy = phoistAcyclic $
     pguardC "Owner signs this transaction" $
       pisSignedBy # pconstant False # ctx
 
-    pguardC "Stake unlocked" $
+    pguardC "All stakes unlocked" $
       pnot #$ pany # pstakeLocked # ctxF.stakeInputDatums
 
+    pguardC "All stakes burnt" $
+      pnull # ctxF.stakeOutputDatums
+
     pure $ pconstant ()
 
 {- | Default implementation of 'Agora.Stake.DepositWithdraw'.