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