Kiran says we should add the constraint 1 is greater than or less than 0
1. What is the reasoning behind this constraint?
-
2. What other "natural constraint" like this should be added?