(n.) A punctator.