The point was about being able to write an optimal program with certainty, not about just getting the thing to operate.