: (setq Δ 1) -> 1 : Δ -> 1 : (inc 'Δ) -> 2 : Δ -> 2