non empty list

non empty list and size