certoraRun certora/harnesses/GovernorCountingSimpleHarness.sol \
    --verify GovernorCountingSimpleHarness:certora/specs/Privileged.spec