All spaces under consideration are supposed to be compact and Hausdorff. For a space $X$, its hyperspace $exp(X)$ is the set of all non-empty closed subsets of $X$ taken with the Vietoris topology. Although in 1920s, the famous conjuncture: for a non-degenerate Peano continuum $X$, $exp (X) \approx Q$ ($Q$ being the Hilbert cube) was launched, decades had passed before the first concrete examples of hyperspaces were discovered. The class of all compact $0$-dimensional metric spaces $\mathbf{Z}$ is another natural framework for trying to fix the topological types of hyperspaces. Let $C_{-1} = \emptyset, C_0 = {1}, C_1 = C$ (Cantor discontinuum). A sequence of very regular topologically distinct spaces in $\mathbf{Z}: C_0, C_1, C_2, \ldots , C_n, \ldots$ is constructed inductively taking $C_n$ to be the space $C$ together with small enough copies of $C_{n-3} \oplus C_{n-2}$ interpolated in each of its removed intervals. In 1964, A Pelczynski proved that for each $X$ in $\mathbf{Z}$, having the set of its isolated points everywhere dense, $exp(X) \approx C_2$. In 1972, we successed to prove that for each $X$ in $\mathbf{Z}$ (excludingthe trivial cases of spaces having finite number of isolated points), $exp(X)$ is one of the following spaces: $C_1, C_2, C_1\oplus C_2, C_3, C_4, C_5, C_7$. In the same 1972, R. Schori, D.Curtis and J. West proved the most significant result on hyperspaces, confirming the above mentioned conjecture.

\medskip In 2005, S. Oka (Topology and its Applications, 149, p. 227--237) reproves our result from 1972, without referring to our paper. That motivates me for this gripping narrative on hyperspaces.