diff --git a/agora/Agora/Governor.hs b/agora/Agora/Governor.hs
index 812c6ed..da057a9 100644
--- a/agora/Agora/Governor.hs
+++ b/agora/Agora/Governor.hs
@@ -50,7 +50,7 @@ import Agora.Proposal (
   PResultTag,
   Proposal (..),
   ProposalId,
-  ProposalStatus (Draft, Executable),
+  ProposalStatus (Draft, Locked),
   ProposalThresholds,
   pnextProposalId,
   proposalDatumValid,
@@ -613,8 +613,8 @@ governorValidator gov =
           pletFields @'["id", "effects", "status", "cosigners", "thresholds", "votes"]
             inputProposalDatum'
 
-        passert "Proposal must be in executable state in order to execute effects" $
-          inputProposalDatum.status #== pconstantData Executable
+        passert "Proposal must be in locked(executable) state in order to execute effects" $
+          inputProposalDatum.status #== pconstantData Locked
 
         let expectedOutputProposalDatum =
               pforgetData $
diff --git a/agora/Agora/Proposal.hs b/agora/Agora/Proposal.hs
index ffca57a..db97f7a 100644
--- a/agora/Agora/Proposal.hs
+++ b/agora/Agora/Proposal.hs
@@ -303,7 +303,6 @@ data PProposalStatus (s :: S)
     PDraft (Term s (PDataRecord '[]))
   | PVotingReady (Term s (PDataRecord '[]))
   | PLocked (Term s (PDataRecord '[]))
-  | PExecutable (Term s (PDataRecord '[]))
   | PFinished (Term s (PDataRecord '[]))
   deriving stock (GHC.Generic)
   deriving anyclass (Generic)