Actually, not only is derivability undefined for conditional rules, but also is satisfaction.
An undefined array component represents nondeterminism which is still to be resolved.
However, without knowing the arguments, we cannot avoid undefined applications using a shadow data structure.
Only quad-area and addjareas remain undefined; these are trivial and are omitted.
Each of these goals is itself undefined, and together they are not effortlessly integrated.
The presence of these poles makes the q-integral undefined until we specify the contour relative to the singularities.
Therefore, in the definitions below, operations on type schemes and environment schemes may yield an undefined result denoting failure.
In this paper, we treat it as an undefined term for a basic, intuitively recognizable construct.