KMP and exKMP