Text this: Regular Languages Are Church-Rosser Congruential.