diff --git a/certora/specs/termRepoServicer/accessRoles.spec b/certora/specs/termRepoServicer/accessRoles.spec
index cbcd025..5260fa0 100644
--- a/certora/specs/termRepoServicer/accessRoles.spec
+++ b/certora/specs/termRepoServicer/accessRoles.spec
@@ -15,7 +15,7 @@ methods {
     function ROLLOVER_MANAGER() external returns (bytes32) envfree;
     function ROLLOVER_TARGET_AUCTIONEER_ROLE() external returns (bytes32) envfree;
 
-    function TermController.verifyMintExposureAccess(address) external returns(bool)  => NONDET;
+    function TermController.verifyMintExposureAccess(address) external returns(bool) => DISPATCHER(true);
     }