non empty domains