Really fix (hope) linearInequality