diff --git a/packages/contracts-bedrock/test/invariants/PROPERTIES.md b/packages/contracts-bedrock/test/invariants/PROPERTIES.md
index 1d29f97eafa3..5a5cc71d73b5 100644
--- a/packages/contracts-bedrock/test/invariants/PROPERTIES.md
+++ b/packages/contracts-bedrock/test/invariants/PROPERTIES.md
@@ -24,7 +24,7 @@ legend:
 | id  | description                                                                                | halmos  | medusa |
 | --- | ------------------------------------------------------------------------------------------ | ------- | ------ |
 | 6   | calls to sendERC20 succeed as long as caller has enough balance                            | [x]     | [ ]    |
-| 7   | calls to relayERC20 always succeed as long as the sender and cross-domain caller are valid | **[x]** | [ ]    |
+| 7   | calls to relayERC20 always succeed as long as the sender and cross-domain caller are valid | **[~]** | [ ]    |
 
 ## Variable transition