$f=is_nonempty_map($nosuch)
