diff --git a/agora-specs/Property/Governor.hs b/agora-specs/Property/Governor.hs
index 1a63e75..311e7ad 100644
--- a/agora-specs/Property/Governor.hs
+++ b/agora-specs/Property/Governor.hs
@@ -91,13 +91,21 @@ governorDatumValidProperty =
   classifiedPropertyNative gen (const []) expected classifier pisGovernorDatumValid
   where
     classifier :: GovernorDatum -> GovernorDatumCases
-    classifier ((.proposalThresholds) -> ProposalThresholds e c tv v co)
-      | e < 0 = ExecuteLE0
-      | c < 0 = CreateLE0
-      | tv < 0 = ToVotingLE0
-      | v < 0 = VoteLE0
-      | co < 0 = CosignLE0
-      | otherwise = Correct
+    classifier
+      ( (.proposalThresholds) ->
+          ProposalThresholds
+            execute
+            create
+            toVoting
+            vote
+            cosign
+        )
+        | execute < 0 = ExecuteLE0
+        | create < 0 = CreateLE0
+        | toVoting < 0 = ToVotingLE0
+        | vote < 0 = VoteLE0
+        | cosign < 0 = CosignLE0
+        | otherwise = Correct
 
     expected :: GovernorDatum -> Maybe Bool
     expected c = Just $ classifier c == Correct
diff --git a/agora/Agora/Proposal.hs b/agora/Agora/Proposal.hs
index 7827035..7e32c2f 100644
--- a/agora/Agora/Proposal.hs
+++ b/agora/Agora/Proposal.hs
@@ -814,7 +814,7 @@ pisEffectsVotesCompatible = phoistAcyclic $
   plam $ \((PM.pkeys @PList #) -> effectKeys) ((PM.pkeys #) . pto -> voteKeys) ->
     plistEquals # effectKeys # voteKeys
 
-{- | Retutns true if vote counts of /all/ the options are zero.
+{- | Returns true if vote counts of /all/ the options are zero.
 
    @since 0.2.0
 -}
diff --git a/agora/Agora/Stake.hs b/agora/Agora/Stake.hs
index f8296f2..418d8c2 100644
--- a/agora/Agora/Stake.hs
+++ b/agora/Agora/Stake.hs
@@ -610,7 +610,7 @@ data StakeRedeemerImpl = StakeRedeemerImpl
 
 --------------------------------------------------------------------------------
 
-{- | Retutn true if the stake was used to voted on the proposal.
+{- | Return true if the stake was used to voted on the proposal.
 
      @since 1.0.0
 -}
@@ -624,7 +624,7 @@ pisVoter =
             _ -> pconstant False
         )
 
-{- | Retutn true if the stake was used to create the proposal.
+{- | Return true if the stake was used to create the proposal.
 
      @since 1.0.0
 -}
@@ -638,7 +638,7 @@ pisCreator =
             _ -> pconstant False
         )
 
-{- | Retutn true if the stake was used to cosign the proposal.
+{- | Return true if the stake was used to cosign the proposal.
 
      @since 1.0.0
 -}
diff --git a/agora/Agora/Utils.hs b/agora/Agora/Utils.hs
index ecf1c2d..acb0109 100644
--- a/agora/Agora/Utils.hs
+++ b/agora/Agora/Utils.hs
@@ -293,11 +293,6 @@ pmapMaybe = phoistAcyclic $
       )
       (const pnil)
 
--- -- | @since 1.0.0
-
--- -- | @since 1.0.0
--- ppureIf'
-
 infixl 3 #<|>
 
 -- | @since 1.0.0
@@ -334,6 +329,10 @@ ppureIf = phoistAcyclic $
       (ppure # x)
       pempty
 
+{- | Less then check using a `PComparator`.
+
+     @ since 1.0.0
+-}
 pltBy ::
   forall (a :: PType) (s :: S).
   Term