Text this: EFFICIENT AND MODULAR COALGEBRAIC PARTITION REFINEMENT.