Text this: Composite reductions for Kripke models