That maths sure make it a very hard problem to solve. But jokes aside I see your point. Isn’t that always the case with this kind of issues? Doing the first big chunk is relatively easy and then the final details are very hard?