Interesting article! I think there's an error though, where the first constraint should be expressed as "(5-x) + (x-5) = 10" (the author has "(x-5) + (x-5) = 10" currently).