(define).. [abs x
(or)....

(and).. [< x 0
[- x

(and).. [= x 0
x

(and).. [> x 0
x

[errCASE