From 39e5b73ee18e443b2d01968e0efa2b69c0209d49 Mon Sep 17 00:00:00 2001
From: Jan Werder <jan@werder.space>
Date: Sat, 16 Dec 2023 22:48:17 +0100
Subject: [PATCH] Added Goal specification to Arithmetic Postconditions

---
 README.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/README.md b/README.md
index 513fc72..dd510f7 100644
--- a/README.md
+++ b/README.md
@@ -217,6 +217,8 @@ Action heal = new Action(
 );
 ```
 
+Arithmetic postconditions are meant to be used with [Comparative Goals](#comparative-goals). They don't apply to normal Goals.
+
 #### Parameter Postconditions
 
 **Parameter postconditions** are postconditions that copy one of the parameters passed to the action into the agent state. The structure uses a dictionary of string keys and string values, where the keys are the keys to the parameter value being copied and the values are the state key into which you are copying the value.