diff --git a/RationaleMCP/0031/differences.md b/RationaleMCP/0031/differences.md
index c81a5da47..7ac94c364 100644
--- a/RationaleMCP/0031/differences.md
+++ b/RationaleMCP/0031/differences.md
@@ -912,7 +912,9 @@ In more a complicated situation, this could be the length of a mechnical arm tha
 
 Instead of controlling the guess values for the variable `x` via its `start` attribute as in full Modelica, Base Modelica makes use of an implicitly declared parameter `guess('x')`.  This is called the _guess value parameter_ for `'x'`, and has the same type as `x`.
 
-The syntax makes use of the new keyword `guess` which is not present in full Modelica.  (Note that introducing a new keyword will not cause conflict with identifiers used in full Modelica code thanks to name mangling.)
+The syntax makes use of the new keyword `guess` which is not present in full Modelica.
+(Note that introducing a new keyword will not cause conflict with identifiers used in full Modelica code thanks to name mangling.)
+The _component-reference_ argument to `guess` in the grammar is restricted to not contain any _array-subscripts_.
 
 Since the declaration of `guess('x')` is implicit, a declaration equation cannot be provided in the same was as for a declared parameter.  Instead, a special form of _parameter equation_ is used, where the parameter being solved must appear on the left hand side, and the equation shall be solved with causality so that the right hand side can be overridden during initialization (that is, after translation).  In the grammar, it is an new alternative in _generic-element_:
 
@@ -1207,7 +1209,9 @@ initial equation
   prioritize('x', 2); /* The guess value priority of 'x' is 2. */
 ```
 
-The second argument of `prioritize` – denoted _priority_ in the grammar – shall be an `Integer` constant.  Lower value means higher priority; that is, when making a choice based on priority, the variable with lower _priority_ value should be given precedence.
+The _component-reference_ argument to `prioritize` in the grammar is restricted to not contain any _array-subscripts_.
+The second argument of `prioritize` – denoted _priority_ in the grammar – shall be an `Integer` constant.
+Lower value means higher priority; that is, when making a choice based on priority, the variable with lower _priority_ value should be given precedence.
 
 Specification of priority is only allowed for components whose guess value parameter is explicitly present in the model.  Example:
 ```
@@ -1259,7 +1263,9 @@ This is defined to mean the same as:
 initial equation
   prioritize('x', 2)
 ```
-That is, in the syntactic sugar form, `prioritize` is used with different arguments compared to its basic form in an initial equation.  In the syntactic sugar form, `prioritize` is wrapped around the right hand side of the parameter equation, and the variable to which the priority belongs is given by the left hand side, extracted from the `guess` wrapper.
+That is, in the syntactic sugar form, `prioritize` is used with different arguments compared to its basic form in an initial equation.
+In the syntactic sugar form, `prioritize` is wrapped around the right hand side of the parameter equation, and the variable to which the priority belongs is given by the left hand side, extracted from the `guess` wrapper.
+Note that the _component-reference_ restriction for the first argument of `prioritize` is only applicable within _prioritize-equation_, not within the syntactic sugar form _prioritize-expression_.
 
 ### The `nominal` attribute