Editorial: simplify synchronizes-with due to new rules (#1511)

Author: conrad-watt

spec.html

@@ -39402,13 +39402,7 @@ <h1>synchronizes-with</h1>
       <p>For a candidate execution _execution_, _execution_.[[SynchronizesWith]] is the least Relation on events that satisfies the following.</p>
       <ul>
         <li>
-          For each pair (_R_, _W_) in _execution_.[[ReadsFrom]], (_W_, _R_) is in _execution_.[[SynchronizesWith]] if all the following are true.
-          <ul>
-            <li>_R_.[[Order]] is `"SeqCst"`.</li>
-            <li>_W_.[[Order]] is `"SeqCst"` or `"Init"`.</li>
-            <li>If _W_.[[Order]] is `"SeqCst"`, then _R_ and _W_ have equal ranges.</li>
-            <li>If _W_.[[Order]] is `"Init"`, then for each event _V_ such that (_R_, _V_) is in _execution_.[[ReadsFrom]], _V_.[[Order]] is `"Init"`.</li>
-          </ul>
+          For each pair (_R_, _W_) in _execution_.[[ReadsFrom]], (_W_, _R_) is in _execution_.[[SynchronizesWith]] if _R_.[[Order]] is `"SeqCst"`, _W_.[[Order]] is `"SeqCst"`, and _R_ and _W_ have equal ranges.
         </li>
         <li>
           For each element _eventsRecord_ of _execution_.[[EventsRecords]], the following is true.