(define gtp (lambda (m n) (not (zerop (sub m n)))))
(bdisp! (gtp two three)) --> false (bdisp! (gtp three two)) --> true
Georg P. Loczewski 2004-03-05