CanBothParticipate -> MightBothParticipate

spec.html

@@ -35986,7 +35986,7 @@ <h1>Static Semantics: Early Errors</h1>
             It is a Syntax Error if CountLeftCapturingParensWithin(|Pattern|) ≥ 2<sup>32</sup> - 1.
           </li>
           <li>
-            It is a Syntax Error if |Pattern| contains two distinct |GroupSpecifier|s _x_ and _y_ such that the CapturingGroupName of _x_ is the CapturingGroupName of _y_ and such that CanBothParticipate(_x_, _y_) is *true*.
+            It is a Syntax Error if |Pattern| contains two distinct |GroupSpecifier|s _x_ and _y_ such that the CapturingGroupName of _x_ is the CapturingGroupName of _y_ and such that MightBothParticipate(_x_, _y_) is *true*.
           </li>
         </ul>
         <emu-grammar>QuantifierPrefix :: `{` DecimalDigits `,` DecimalDigits `}`</emu-grammar>
@@ -36132,9 +36132,9 @@ <h1>
         </emu-alg>
       </emu-clause>
 
-      <emu-clause id="sec-canbothparticipate" type="abstract operation">
+      <emu-clause id="sec-mightbothparticipate" type="abstract operation">
         <h1>
-          Static Semantics: CanBothParticipate (
+          Static Semantics: MightBothParticipate (
             _x_: a Parse Node,
             _y_: a Parse Node,
           ): a Boolean