(require "ordering-basics.BRU")
(require "ordering-equality.BRU")
[(define (≥ m n) (≤ n m))
 (define (> m n) (< n m))
]