added ne type (inferable)