[daveguy]

That makes sense. The proof-heavy part is the third pass and part the author says takes the longest (4-5 hours for a beginner). With math papers it's essentially all proof!