(n.) A quarry.