diff --git a/certora/specs/ERC1155Burnable.spec b/certora/specs/ERC1155Burnable.spec
new file mode 100644
index 000000000..3e67c1919
--- /dev/null
+++ b/certora/specs/ERC1155Burnable.spec
@@ -0,0 +1,7 @@
+rule sanity {
+    method f; env e; calldataarg args;
+
+    f(e, args);
+
+    assert false;
+}
\ No newline at end of file