diff --git a/agora/Agora/Proposal.hs b/agora/Agora/Proposal.hs
index 652b330..ab289ca 100644
--- a/agora/Agora/Proposal.hs
+++ b/agora/Agora/Proposal.hs
@@ -890,7 +890,7 @@ pwinner' = phoistAcyclic $
             pfoldr # f # 0 # l #== 1
 
         exceedQuorum =
-          ptraceIfFalse "Highest vote count should exceed the minimum threshold" $
+          ptraceIfFalse "Highest vote count should be at least the minimum threshold" $
             quorum #<= highestVotes
 
     pure $
diff --git a/agora/Agora/Proposal/Scripts.hs b/agora/Agora/Proposal/Scripts.hs
index 7396e73..db1868e 100644
--- a/agora/Agora/Proposal/Scripts.hs
+++ b/agora/Agora/Proposal/Scripts.hs
@@ -478,7 +478,7 @@ proposalValidator =
                       )
                     # sctxF.inputStakes
 
-            pguardC "Exceed minimum amount" $
+            pguardC "At least minimum amount" $
               thresholdsF.vote #<= totalStakeAmount
 
             pguardC "Input proposal must be in VotingReady state" $
diff --git a/agora/Agora/Proposal/Time.hs b/agora/Agora/Proposal/Time.hs
index 3dd8a49..5fd621b 100644
--- a/agora/Agora/Proposal/Time.hs
+++ b/agora/Agora/Proposal/Time.hs
@@ -416,7 +416,7 @@ data PTimingRelation (s :: S)
 instance DerivePlutusType PTimingRelation where
   type DPTStrat _ = PlutusTypeEnumData
 
-{- | Return truw if a relation is 'PWithin'.
+{- | Return true if a relation is 'PWithin'.
 
      @since 1.0.0
 -}
@@ -455,7 +455,7 @@ instance DerivePlutusType PPeriod where
 
 {- | Compute the relation between current time range and the given peroid,
      providing the starting time and timing configuration of a proposal. If the
-     relation cannot be ddetermined, error out.
+     relation cannot be determined, error out.
 
      @since 1.0.0
 -}