Linear inequality (#7364) - Basecamp