argDescRun x y z =
    let x' = 2
        y' = 1
        z' = 0
        expr =
            let x' = 3
                y' = 2
                z' = 1
                a' = 0
            in SIGMA (NV x') . L $
                  "" :. (N (descOp :@ [y' $# [a'], NV z']))
    in eval expr (B0 :< x :< y :< z, [])
argDescRun x y z =
    let x' = 2
        y' = 1
        z' = 0
        expr =
            let x' = 3
                y' = 2
                z' = 1
                a' = 0
            in SIGMA (NV x') . L $
                  "" :. (N (descOp :@ [y' $# [a'], NV z']))
    in eval expr (B0 :< x :< y :< z, [])
argDescRun x y z =
    let x' = 2
        y' = 1
        z' = 0
        expr =
            let x' = 3
                y' = 2
                z' = 1
                a' = 0
            in SIGMA (NV x') . L $
                  "" :. (N (descOp :@ [y' $# [a'], NV z']))
    in eval expr (B0 :< x :< y :< z, [])