(require "ordering-equality.BRU")
(require "logic.BRU")
(require "ordering-primordial.BRU")
[(define (< m n) (& (≤ m n) (¬ (= m n))))]