Remark: What was not inferred from Hilbert density

No arbitrary originally supplied closed realization has been identified merely because a domain is Hilbert-dense. A graph-core assertion requires an additional argument. For $Q(f)$, that argument is supplied next.