. . . "Incremental Closure for Systems of Two Variables Per Inequality (Other)"^^ . . . . . .