Tullio.jl:∑