ein function

Exists and (not) in