[hyperpallium]

He talks about how to begin a daunting task: linear order, easiest/most straightforward first, or a top-down "skeleton" first.

If it's daunting enough to be discouraging, consider doing tasks that quickly give you some sense of progress towards what like about it. To sustain your interest - your most precious resource.

This mightn't be most efficient, or give the best structure, but if it motivates you to do it, it will be far more efficient and better strucured than nothing!

[hyperpallium]

This is like an MVP, where you quickly find out if people actually want it; if they do, you get motivation. A step earlier is an actual prototype, where am inventor sees whether the idea works or not; if so, it's motivating.

Not sure how this applies to proof, which has to be perfect to work at all. Pehaps Tao's skeleton, then filling in the most crucial parts first, is exactly this.