After these first two steps, emboldened by my initial successes in deploying hard focus, I moved on to the big guns: proof summaries. This is where I forced myself to take each lemma and walk through each step of its proofs—filling in missing steps. I would conclude by writing a detailed summary in my own words. This was staggeringly demanding, but the fact that I had already spent time on easier tasks in the paper built up enough momentum to help push me forward.
