nonempty option