Other statutes dealing with the discretionary grant of asylum referred to the well-founded-fear standard; the statutes dealing with withholding of deportation, by contrast, did not.
This is one of several standard approaches to the meaning of negation in logic programming, along with program completion and the well-founded semantics.