USE: locals
[let
    1 :> Δ!
    Δ 1 + Δ!
    Δ .
]