: Nhd * *)