diff --git a/certora/mutations/010_burnAccount_logic_inversion.patch b/certora/mutations/010_burnAccount_logic_inversion.patch
index b52e4e2..262b8e6 100644
--- a/certora/mutations/010_burnAccount_logic_inversion.patch
+++ b/certora/mutations/010_burnAccount_logic_inversion.patch
@@ -7,7 +7,7 @@ index be21481..f22b4ed 100644
  
      Account memory account = _accounts[controller][fundId][accountId];
 -    require(account.flow.incoming == account.flow.outgoing, VaultFlowNotZero());
-+    require(account.flow.incoming != account.flow.outgoing, VaultFlowNotZero());
++    require(!(account.flow.incoming == account.flow.outgoing), VaultFlowNotZero());
      uint128 amount = account.balance.available + account.balance.designated;
  
      delete _accounts[controller][fundId][accountId];