 that follows the information given in \(\epsilon _{n}^{\mathcal{A}}\) to build \(\mathbf{B}_{\langle 1,\ldots ,1,0\rangle }\), thus \(\mathcal{B}=H(\mathcal{A})\). The new structure is basically a general second order structure with the genuine membership  relation.[19]