Non-negative variable

That’s the problem with linearizations: