[2 mod 0 eq?] [even?]     def
[2 mod 1 eq?] [odd?]      def
[mod 0 eq?]   [divisor?]  def
[true]        [otherwise] def
[any not]     [none]      def