$f=is_not_empty($*)
