(pl.) of Diverticulum