diff --git a/courseA/IM_Alloy.html b/courseA/IM_Alloy.html
index a964da4..81c2c11 100644
--- a/courseA/IM_Alloy.html
+++ b/courseA/IM_Alloy.html
@@ -26,9 +26,10 @@
 <h2>InventoryManagementのAlloyによる仕様記述についての説明</h2>
 <h3><code><c1>sig</c1></code>:</h3>
 <p>
-	以下のモデルでは始めに，商品IDの集合を表す <code>ItemId</code> と商品名の集合を表す <code>Name</code> を宣言しています．<br>
-	次に，商品全体を保管する倉庫の集合を表す <code>Inventory</code> を宣言しています．<code>Inventory</code> には，<code>ItemId</code> から
-	商品情報を表す <code>Item</code> への対応関係が<code>itemDB</code> フィールドとして定義されています．<br>
+	Alloyでは，商品idの集合を <code>ItemId</code> ，商品名の集合を <code>Name</code> ，
+	商品全体を保管する倉庫の集合を <code>Inventory</code> ，商品の集合を <code>Item</code> で表します．<br>
+	以下のモデルでは <code><c1>sig</c1></code> を用いて，<code>ItemId</code> ，<code>Name</code> ，<code>Inventory</code> ，<code>Item</code> の順番にこれらの集合を宣言しています．<br>
+	<code>Inventory</code> には，<code>ItemId</code> から <code>Item</code> への対応関係が<code>itemDB</code> フィールドとして定義されています．<br>
 	<code>Item</code> の宣言では，商品名を表す <code>name</code> が <code>Name</code> のインスタンスとして，
 	在庫数を表す <code>count</code> が <c1><code>Int</code></c1> のインスタンスとして定義されています．<br>
 </p>