$f=is_not_empty($x)
