### 3.7.162. Obscure

A constraint for which a better description is needed (i.e., $\mathrm{𝚝𝚠𝚘}_\mathrm{𝚕𝚊𝚢𝚎𝚛}_\mathrm{𝚎𝚍𝚐𝚎}_\mathrm{𝚌𝚛𝚘𝚜𝚜𝚒𝚗𝚐}$), or a constraint for which the automata need to be checked because the removal of the dollar sign may have introduced an error (i.e., the five other constraints).