diff --git a/certora/confs/Vault.conf b/certora/confs/Vault.conf
index 2c73a9a..f15730c 100644
--- a/certora/confs/Vault.conf
+++ b/certora/confs/Vault.conf
@@ -1,29 +1,20 @@
 {
     "files": [
         "certora/harness/VaultHarness.sol",
-        //"contracts/Vault.sol",
-        // "certora/harness/MarketplaceHarness.sol",
-        // "contracts/Marketplace.sol",
-        // "contracts/Vault.sol",
-        // "contracts/Groth16Verifier.sol",
         "certora/helpers/ERC20A.sol",
     ],
     "parametric_contracts": ["VaultHarness"],
     "link" : [
         "VaultHarness:_token=ERC20A",
-    //     "MarketplaceHarness:_vault=VaultHarness",
-    //     "MarketplaceHarness:_verifier=Groth16Verifier"
     ],
     "packages": [
         "@openzeppelin/=node_modules/@openzeppelin",
     ],
     "msg": "Verifying Vault",
+    "multi_assert_check": true,
     "rule_sanity": "basic",
     "verify": "VaultHarness:certora/specs/Vault.spec",
-    // "optimistic_loop": true,
     "loop_iter": "3",
-    // "optimistic_hashing": true,
-    // "hashing_length_bound": "512",
     "build_cache": true,
     "solc": "solc8.28",
 }