existence check