diff --git a/certora/specs.js b/certora/specs.js
index e3db84fd1..eebec974f 100644
--- a/certora/specs.js
+++ b/certora/specs.js
@@ -80,8 +80,8 @@ module.exports = [].concat(
   product(
     ['GovernorHarness'],
     ['GovernorFunctions'],
-    ['ERC20VotesBlocknumberHarness'], // 'ERC20VotesTimestampHarness'
-    ['castVote', 'execute'], // 'propose', 'queue', 'cancel' // timeout
+    ['ERC20VotesBlocknumberHarness', 'ERC20VotesTimestampHarness'],
+    ['castVote', 'execute'], // 'propose', 'queue', 'cancel' // these rules timeout/fail
   ).map(([contract, spec, token, fn]) => ({
     spec,
     contract,