XML doc tweak for SkolemFunctionIdentifier

src/SCFirstOrderLogic/SkolemFunctionIdentifier.cs

@@ -5,20 +5,18 @@
 namespace SCFirstOrderLogic
 {
     /// <summary>
-    /// Class for Skolem function identifiers, which are generated by the sentence normalisation process and feature in sentences in conjunctive normal form (CNF).
-    /// </summary>
-    /// <remarks>
     /// <para>
-    /// NB #1: Doesn't override equality or hash code, so uses reference equality;
-    /// and the normalisation process creates exactly one instance per variable scope - thus achieving standardisation
-    /// without having to muck about with anything like trying to ensure names that are unique strings
-    /// (which only sentence formatting logic, not the identifier itself, should care about).
+    /// Class for Skolem function identifiers, which are generated by the sentence normalisation process and feature in sentences in conjunctive normal form (CNF).
     /// </para>
     /// <para>
-    /// NB #2: As with standardised variables, OPTIONAL value semantics for equality might be useful.
-    /// An equality comparer for this may appear in a future version.
+    /// The important thing about this class is that it doesn't override equality or hash code, so uses reference equality.
+    /// The normalisation process creates exactly one instance per variable scope - thus achieving standardisation
+    /// without having to muck about with anything like trying to ensure names that are unique strings (which only sentence
+    /// formatting logic, not the identifier itself, should care about).
     /// </para>
-    /// </remarks>
+    /// </summary>
+    // As with standardised variables, optional value semantics for equality might be useful.
+    // An equality comparer for this may appear in a future version.
     public class SkolemFunctionIdentifier
     {
         /// <remarks>