From 2748b60171381526c45a0cca240dcbf72576bd97 Mon Sep 17 00:00:00 2001
From: Shinya Sato <shinnya.sato@gmail.com>
Date: Sun, 31 Jul 2022 12:18:35 +0900
Subject: Update Gentle_introduction_Inpla.md

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

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;
-- 
cgit v1.2.3