8 names define and non-empty