diff --git a/courseA/IM_Alloy.html b/courseA/IM_Alloy.html
index c39fa49..b26d31c 100644
--- a/courseA/IM_Alloy.html
+++ b/courseA/IM_Alloy.html
@@ -40,11 +40,13 @@
 	最初の述語として記述されている <code>init</code> は，<code>Inventory</code> の
 	インスタンスである <code>its</code> が初期化されていることを示しています．<br>
 	次の <code>itemRegistration</code> は，<code>itemId</code> に対応する商品を登録する前の <code>Inventory</code> のインスタンス <code>its</code> と，
-	登録した後のインスタンス <code>its'</code> の関係を述語として定義しています．<br>
-	ここで <code>quantity</code> は初期数量，<code>n</code> は商品名を示しています．<br>
+	登録した後のインスタンス <code>its'</code> の関係を述語として定義しています．ここで <code>quantity</code> は初期数量，<code>n</code> は商品名を示しています．<br>
+	また，述語定義中の <code><c1>some</c1> it: Item</code> は，<code>its</code> のデータベースに登録されていない <code>Item</code> のインスタンス <code>it</code> が存在していることを示しており，
+	直観的には <code>Item</code> のインスタンスの生成を示しています．<br>
 	<code>receivingOrShipping</code> では <code>itemId</code> で登録されている商品に対して入荷か出荷を行った際の操作前の <code>Inventory</code> のインスタンス <code>its</code> と，
-	操作後のインスタンス <code>its'</code> の関係を述語として定義しています．<br>
-	ここで <code>quantity</code> が正の値のときは入荷，負の値のときは出荷を表しています．<br>
+	操作後のインスタンス <code>its'</code> の関係を述語として定義しています．ここで <code>quantity</code> が正の値のときは入荷，負の値のときは出荷を表しています．<br>
+	また，述語定義中の <code><c1>some</c1> it': Item</code> は，<code>its</code> のデータベースに登録されていない <code>Item</code> のインスタンス <code>it'</code> が存在していることを示しており，
+	直観的には <code>Item</code> のインスタンスの生成を示しています．<br>
 	最後の <code>execute</code> では，<code>init</code> ，<code>itemRegistraction</code> ，<code>receivingOrShipping</code> を
 	この順で呼び出す操作を定義しています．<br>
 	<c1><code>run</code></c1> では，<code>execute</code> を呼び出して仮想実行を行います．