The C++ core guidelines suggest using `owner<T*> p; T* q;` as class members to show `p` is owned but `q` is not. But if neither is owned, how is this distinguished from indeterminate ownership?
valid question