:

if
1/2 is criterion {or} criterion 
#something_else#
{and}
1/0 is criterion {or}{not} criterion
#anything_else#

the magnitude ∆ is criterion for both.

; a recursively defined zero in terms of the real numbers.