diff --git a/.github/workflows/certora-review-voting-chain.yml b/.github/workflows/certora-review-voting-chain.yml
index ba6caa5..b0dd432 100644
--- a/.github/workflows/certora-review-voting-chain.yml
+++ b/.github/workflows/certora-review-voting-chain.yml
@@ -54,7 +54,8 @@ jobs:
           - verifyLegality.conf --rule legalVote
           - verifyLegality.conf --rule votedPowerIsImmutable method_reachability
           - verifyMisc.conf
-          - verifyPower_summary.conf
+          - verifyPower_summary.conf --rule onlyThreeTokens
+          -  verifyPower_summary.conf --rule method_reachability
           - verifyProposal_config.conf --rule createdProposalHasRoots
           - verifyProposal_config.conf --rule startedProposalHasConfig
           - verifyProposal_config.conf --rule proposalHasNonzeroDuration configIsImmutable newProposalUnusedId method_reachability
@@ -66,4 +67,12 @@ jobs:
           - verifyProposal_states.conf --rule proposalIdIsImmutable proposalHasNonzeroDuration proposalTimeStateTransitionCompliance proposalLegalStates method_reachability
           - verifyVoting_and_tally.conf --rule voteUpdatesTally
           - verifyVoting_and_tally.conf --rule cannot_vote_twice_with_submitVoteSingleProofAsRepresentative_and_submitVote
-          - verifyVoting_and_tally.conf --rule voteTallyChangedOnlyByVoting onlyVoteCanChangeResult votingTallyCanOnlyIncrease strangerVoteUnchanged otherProposalUnchanged otherVoterUntouched cannot_vote_twice_with_submitVote_and_submitVoteAsRepresentative cannot_vote_twice_with_submitVoteAsRepresentative_and_submitVote method_reachability
+          - verifyVoting_and_tally.conf --rule onlyVoteCanChangeResult
+          - verifyVoting_and_tally.conf --rule voteTallyChangedOnlyByVoting
+          - verifyVoting_and_tally.conf --rule  votingTallyCanOnlyIncrease 
+          - verifyVoting_and_tally.conf --rule strangerVoteUnchanged 
+          - verifyVoting_and_tally.conf --rule otherProposalUnchanged 
+          - verifyVoting_and_tally.conf --rule otherVoterUntouched 
+          - verifyVoting_and_tally.conf --rule cannot_vote_twice_with_submitVote_and_submitVoteAsRepresentative
+          - verifyVoting_and_tally.conf --rule cannot_vote_twice_with_submitVoteAsRepresentative_and_submitVote
+          - verifyVoting_and_tally.conf --rule method_reachability
\ No newline at end of file