selection variables and ii) an alternative assumption free bound, producing only logically feasible values. As a motivating … indicator of settings when the former bounds do not produce feasible values. The motivating example shows that the assumption …