Do proper arithmetic via let
Three levels of output
enumerate, not itemize