diff --git a/doc/output-format.md b/doc/output-format.md index e81d46f..eaf824b 100644 --- a/doc/output-format.md +++ b/doc/output-format.md @@ -172,7 +172,7 @@ mutexGroup(mutexGroup()). contains(, , ). ``` -SAS contains information about mutually exclusive variable assignments. +SAS contains information about mutually exclusive [variable](#variable) assignments. That is, *at most one* variable assignment of each mutex group must be satisfied at all times. Mutex groups contain essential information in order to find plans correctly.