diff --git a/courseA/IM_Alloy.html b/courseA/IM_Alloy.html
index ac4b391..3faa717 100644
--- a/courseA/IM_Alloy.html
+++ b/courseA/IM_Alloy.html
@@ -54,7 +54,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> のインスタンスが，出荷か入荷を行うことによって複製されたことを示しています．なお関数 <code>plus[x, y]</code> は，加算 <code>x + y</code> を表します．<br>
 </p>
 <p>
 	最後の <code>execute</code> では，<code>init</code>，<code>itemRegistration</code>，<code>receivingOrShipping</code> を
@@ -164,7 +164,7 @@
 	ここからが課題です．<br>
 	本課題ではまず，上記にて説明を行った InventoryManagement の仕様に，ある機能を追加した仕様を考えます．<br>
 	その仕様のモデルを以下に示します．また，そのモデルの仮想実行を可視化したものをその下に示します．これらの図を見ていただいた上で，２つの設問にお答えいただきます．<br>
-	なお，以下のモデル中にある <code><c1>implies</c1></code> はその前に記述されている条件が成り立っているときは，その後に記述されている論理式または論理式の集合が成り立ち，条件が成り立っていないときは <code><c1>else</c1></code> の後ろに記述されている論理式または論理式の集合が成り立つことを示しています．<br>
+	なお，以下のモデル中にある <code><c1>implies</c1></code> はその前に記述されている条件が成り立っているときは，その後に記述されている論理式または論理式の集合が成り立ち，条件が成り立っていないときは <code><c1>else</c1></code> の後ろに記述されている論理式または論理式の集合が成り立つことを示しています．
 	設問にお答えいただく際は，必ず設問１，設問２の順番でご解答下さい．以下の図と同じものが設問のページにも記載されているのでこのまま設問のページに飛んでいただいてもかまいません．
 </p>
 <div style="padding: 10px; margin-bottom: 10px; border: 1px solid #333333; border-radius: 10px;">