From a symptom to one component: what the hypothesis forbids

A hypothesis that forbids nothing cannot be wrong, one probe that halves the region, and a namei -l read line by line.