1 2
1 -1
linearity 1 1
nonnegative 1 1
