On some classes of formulas in $S5$ which are pre-complete relative to existential expressibility. - Andrei Rusu; Elena Rusu (Comput. Sci. J. Moldova, 2023)