Yup, that basically sums it up. The key part though was that doing the inefficient thing first allowed them to make progress and to understand the problem better by working through it, which later led to a more clever solution. The moral of the story here is that it's always better to solve the problem even if your solution isn't optimal, and then reflect on it.