$f=is_not_map($x)
