8.2.38 mustBeNonempty

Not documented