/* QA check logic */ make self-conflict more formal

1 files changed, 1 insertions, 2 deletions

diff --git a/GLEP:73.mw b/GLEP:73.mw
index 7b040a8..fd76b8f 100644
--- a/GLEP:73.mw
+++ b/GLEP:73.mw
@@ -209,8 +209,7 @@ The check for alteration of immutable flags is done for every constraint separat
 * ''E'' references an immutable flag whose immutable state is ''¬E''.
 
 The check for self-conflicting constraints is performed for every constraint separately. A flat constraint is determined to be self-conflicting if the following condition occurs:
-* for any ''c<sub>i</sub>'' in ''C'':
-** there is at least one ''c<sub>j</sub>'' (''j ≠ i'', in the same ''C'') that is ''¬c<sub>i</sub>''.
+* for any pair of sub-conditions ''c<sub>i</sub>'', ''c<sub>j</sub>'' (''i ≠ j''), ''c<sub>i</sub> = ¬c<sub>j</sub>.
 
 The check for attempting to force opposite values for a single flag is performed for every pair of constraints. Since it is symmetric, it is only necessary to perform it for unique pairs. For practical reasons, let's assume it is performed for every pair ''((C<sub>i</sub>, E<sub>i</sub>), (C<sub>j</sub>, E<sub>j</sub>))'', where ''j > i''. The pair is determined to force opposite values for a single flag if all of the following conditions are met:
 * ''E<sub>i</sub> = ¬E<sub>j</sub>'',