(= (mod (inc 42) 7)
   (-> 42 inc (mod 7)))