diff --git a/certora/specs/AccessManaged.spec b/certora/specs/AccessManaged.spec
index adcb85936..7e4619d96 100644
--- a/certora/specs/AccessManaged.spec
+++ b/certora/specs/AccessManaged.spec
@@ -7,6 +7,9 @@ methods {
     function authority_canCall_immediate(address) external returns (bool);
     function authority_canCall_delay(address)     external returns (uint32);
     function authority_getSchedule(address)       external returns (uint48);
+
+    // Summaries
+    function _.setAuthority(address)               external => DISPATCHER(true);
 }
 
 invariant isConsumingScheduledOpClean()