put 1 into Δ
add 1 to Δ
put Δ