lower bound >= higher bound fixed