lower bounds added