$f=is_not_map($z)
