Darbe aprašyta viena kvantorinės modalumo logikos S4 formulių klasė, kurios Herbrand skleidinį galima gauti iš atitinkamų skulemizuotų formulių naudojant tik keitinius.
Šis kūrinys yra platinamas pagal Kūrybinių bendrijų Priskyrimas 4.0 tarptautinę licenciją.