Numeric designations of definitions deleted.