**Corollary 3.3** (no-error case).: _In the ideal case, if for every data \(\mathcal{Z}\), \(F\) can generate a name from \(\mathcal{N}\) with exact \(1/N\) probability each, then \(\mathbf{loss}_{name}(\mathcal{Z})=\log N\); and if \(F\) can 100% accurately generate values given \((n,a)\) pairs, then \(\mathbf{loss}_{value}(\mathcal{Z})=\mathbf{loss}_{value1}(\mathcal{Z})=0\).