Categorizer which is based on equivocality and complexity on given dimension concern with hidden invariant. This library is moderately withered.