yes: this one and below are capitals (I moved these from the `normal.jl` as I used them elsewhere, and it made sense to keep them in the one spot).