******************* Katz-Levelt equivalence