not equiv
exists.