Update Gentle_introduction_Inpla.md

1 files changed, 2 insertions, 0 deletions

diff --git a/Gentle_introduction_Inpla.md b/Gentle_introduction_Inpla.md
index e2617d1..a3cbbe9 100644
--- a/Gentle_introduction_Inpla.md
+++ b/Gentle_introduction_Inpla.md
@@ -162,6 +162,8 @@ For agents can work as constructors and de-constructors, it could be good to use
 Let's take the result of the increment operation for `S(S(Z))`:
 
 ```
+>>> inc(r) >< Z => r~S(Z);
+>>> inc(r) >< S(x) => r~S(S(x));
 >>> inc(r)~S(S(Z));
 (1 interactions, 0.01 sec)
 >>> r;