higher bound us her
re defined ___