> ... leaving room for more important calculations such as exploring the solution space creatively ... Nicely articulated! And I believe the same applies movin

> ... leaving room for more important calculations such as exploring the solution space creatively ... Nicely articulated! And I believe the same applies moving ever higher up. Really, theorems in mathematics could be viewed in this manner -- do the proof once or twice for understanding and hard-code the result for use later in some larger context.