Correctness can often arise naturally when the implementation reflects the function's intent by composing "correct" functions. E.g.,
(defn values-in [m ks]
(vals (select-keys m ks))) (defn values-in [m ks]
(vals (select-keys m ks)))