(n.) Gravelly stone.