$f=is_not_map($y)
