From 43a1dff85238978cef8fd07a7a9ad98262f3ea8d Mon Sep 17 00:00:00 2001
From: r4bbit <445106+0x-r4bbit@users.noreply.github.com>
Date: Thu, 10 Aug 2023 09:17:09 +0200
Subject: [PATCH] chore: add `PROPERTIES.md` to upstream differences (#3)

---
 README.md | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/README.md b/README.md
index 64d6d21..b5a94d9 100644
--- a/README.md
+++ b/README.md
@@ -51,9 +51,11 @@ For example, if you're interested in exploring Foundry in more detail, you shoul
 As mentioned above, this template is a fork with adjustments specific to the needs of Vac's smart contract service unit.
 These differences are:
 
-- Removal of [PRBTest](https://github.com/PaulRBerg/prb-test) In an attempt to keep dependence on third-party code low,
-  we've decided to remove this library as a standard dependency of every project within Vac. If we do see a need for it,
-  we might bring it back in the future.
+- **Removal of [PRBTest](https://github.com/PaulRBerg/prb-test)** - In an attempt to keep dependence on third-party code
+  low, we've decided to remove this library as a standard dependency of every project within Vac. If we do see a need
+  for it, we might bring it back in the future.
+- \*\*`PROPERTIES.md` - For invariant testing and formal verification, we've introduced a `PROPERTIES.md` to document
+  all protocol properties that must hold true.
 
 ### Sensible Defaults