(require "evenness-basics.BRU")
[(define even? (mutual-even-odd? head))
 (define odd? (mutual-even-odd? rest))]