It mainly describes a technique to preserve some sanity in inferred finite-state behavioral models of software systems. While the idea seems like a good one, in terms of its effects on the inferred model, I’m not so sure how these inferred models are useful. Shrug.