Exists implelentation