let min x y = if le x y then x else y