Changed constraints to have an upper bound