Sometimes a statement requires an unstated element to make legal or rational sense. This is treated as iqtiḍāʾ al-naṣṣ. It supplies what is necessary to make the statement operative, rather than importing optional new conditions.
For instance, an order involving the exercise of a legal power may presuppose that the relevant right or authority is held. The necessary presupposition may be recognized, but several additional powers cannot be inferred without further evidence.
The maxim “necessary implication extends only as far as necessity” captures the limit: supply the minimum needed for the wording to work and demand separate proof for anything further.