nonlabelling (26.23 Elementary)