Text this: Decidability of a monadic subclass of modal logic S4