diff --git a/certora/specs/CollectibleV1.spec b/certora/specs/CollectibleV1.spec
index 57e4c7f..6ff59d3 100644
--- a/certora/specs/CollectibleV1.spec
+++ b/certora/specs/CollectibleV1.spec
@@ -68,6 +68,7 @@ rule maxSupplyCannotBeLowerThanMintedCount() {
 }
 
 rule maxSupplyNotLowerThanTotalSupply(env e, method f) {
+  require mintedCount() >= totalSupply();
   require maxSupply() >= totalSupply();
 
   calldataarg args;