(let [Δ 1]
  (inc Δ))