Following what has been done the LCP. ``` 0 <= F(x) _|_ x >= 0 ```
Following what has been done the LCP.