Bounds-hierarchy Packages