(let ((Δ 1))
  (incf Δ))