implement non_empty?
don't check dummy encodings