Characteristic predicate Generic::Generic

Generic()