min = x y ->                                     max = x y ->
  x | y                                            x | y
  [ x < y ]                                        [ x > y ]
;                                                ;


