diff --git a/certora/diff/governance_extensions_GovernorVotesQuorumFraction.sol.patch b/certora/diff/governance_extensions_GovernorVotesQuorumFraction.sol.patch
new file mode 100644
index 000000000..39a1a0c90
--- /dev/null
+++ b/certora/diff/governance_extensions_GovernorVotesQuorumFraction.sol.patch
@@ -0,0 +1,14 @@
+--- governance/extensions/GovernorVotesQuorumFraction.sol	2023-03-07 10:48:47.733488857 +0100
++++ governance/extensions/GovernorVotesQuorumFraction.sol	2023-03-15 22:51:51.267890807 +0100
+@@ -62,6 +62,11 @@
+         return _quorumNumeratorHistory.upperLookupRecent(timepoint.toUint32());
+     }
+ 
++    // FV
++    function quorumNumeratorLength() public view returns (uint256) {
++        return _quorumNumeratorHistory._checkpoints.length;
++    }
++
+     /**
+      * @dev Returns the quorum denominator. Defaults to 100, but may be overridden.
+      */