(require "numbers.BRU")
(require "logic.BRU")
[(define (≤ m n) (zero? (- m n)))
]