"Given that p is a pointer is ???p > nullptr??? well-formed?" . . . .