diff --git a/certora/specs/ERC1155Burnable.spec b/certora/specs/ERC1155Burnable.spec
index 344d25380..3fd4caf7d 100644
--- a/certora/specs/ERC1155Burnable.spec
+++ b/certora/specs/ERC1155Burnable.spec
@@ -9,8 +9,8 @@ rule onlyApprovedCanReduceBalance {
     address holder; uint256 token; uint256 amount;
     uint256 balanceBefore = balanceOf(holder, token);
 
-    env e;
-    burn(e, holder, token, amount); // TODO Replace burn with appropriate general function
+    method f; env e; calldataarg args;
+    f(e, args);
 
     uint256 balanceAfter = balanceOf(holder, token);
 
@@ -25,4 +25,4 @@ rule sanity {
 
     assert false, 
         "This rule should always fail";
-}
\ No newline at end of file
+}