which is defined for your system
individual definable parts
testee is defined
>0") An expression is defined
is defined as the testee
, which has been defined