diff --git a/agora/Agora/Utils.hs b/agora/Agora/Utils.hs
index 662e3d2..25178d4 100644
--- a/agora/Agora/Utils.hs
+++ b/agora/Agora/Utils.hs
@@ -176,13 +176,13 @@ psubtractSortedValue = phoistAcyclic $ plam $ \a b ->
       # (pfmap # pnegate)
       # pto b
 
-pisPositiveValue ::
+pisNonNegativeValue ::
   forall (kg :: KeyGuarantees) (am :: AmountGuarantees) (s :: S).
   Term s (PValue kg am :--> PBool)
-pisPositiveValue =
+pisNonNegativeValue =
   phoistAcyclic $
     plam $
-      (AssocMap.pall # (AssocMap.pall # plam (0 #<)) #)
+      (AssocMap.pall # (AssocMap.pall # plam (0 #<=)) #)
         . pto
 
 pisSubValueOf ::
@@ -194,7 +194,7 @@ pisSubValueOf ::
         :--> PBool
     )
 pisSubValueOf = phoistAcyclic $ plam $ \vl vr ->
-  pisPositiveValue
+  pisNonNegativeValue
     #$ psubtractSortedValue
     # vl
     # vr