**Proposition 2.3** (trivial, bit complexity upper bound).: _Given \(\mathcal{N}_{0}\) and \(\mathcal{A}\) and \(\mathcal{T}\), to describe a knowledge set generated in Definition 2.2, one needs at most the following number of bits:_