diff --git a/courseA/IM_Alloy.html b/courseA/IM_Alloy.html
index b26d31c..acaceb1 100644
--- a/courseA/IM_Alloy.html
+++ b/courseA/IM_Alloy.html
@@ -46,7 +46,7 @@
 	<code>receivingOrShipping</code> では <code>itemId</code> で登録されている商品に対して入荷か出荷を行った際の操作前の <code>Inventory</code> のインスタンス <code>its</code> と，
 	操作後のインスタンス <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>Item</code> のインスタンスが，出荷か入荷を行うことによって複製されたことを示しています．<br>
 	最後の <code>execute</code> では，<code>init</code> ，<code>itemRegistraction</code> ，<code>receivingOrShipping</code> を
 	この順で呼び出す操作を定義しています．<br>
 	<c1><code>run</code></c1> では，<code>execute</code> を呼び出して仮想実行を行います．