Comment by yshklarov

But before the kids could use general strategies, they had to work out the details.

You're right, the spiral rule is probably unwieldy in practice. But until a programmer can recognize the patterns, the rule can be used as a learning aid.