(n.) A girth.