$f=is_empty_map($nosuch)
