$f=is_nonempty_map($z)
