11/24 ARS,1st-version of upper/lower bound functions