higher bound less tight
✕
___
end
bound
i
a
constraint
in
hold
ends
↺ Reset