Text this: Herbrand expansions of some formulas of modal logic S4