### 2.5.23. Uses in its reformulation

Constraint ${C}_{\mathrm{𝑎𝑙𝑠𝑜}}$ uses constraint ${C}_{\mathrm{𝑒𝑛𝑡𝑟𝑦}}$ in its reformulation. Since it is already handled by the link system of constraints, we do not consider the case where constraint ${C}_{\mathrm{𝑎𝑙𝑠𝑜}}$ can be expressed as a conjunction of constraints ${C}_{\mathrm{𝑒𝑛𝑡𝑟𝑦}}$.

EXAMPLE: As an example, the reformulation slot of constraint ${C}_{\mathrm{𝑎𝑙𝑠𝑜}}=$ $\mathrm{𝚝𝚛𝚎𝚎}_\mathrm{𝚛𝚊𝚗𝚐𝚎}$ uses the constraint ${C}_{\mathrm{𝑒𝑛𝑡𝑟𝑦}}=$ $\mathrm{𝚘𝚙𝚎𝚗}_\mathrm{𝚖𝚒𝚗𝚒𝚖𝚞𝚖}$.