(let ((Δ 1))
     (1+ Δ))