It was a technique of studying in a book, not the content, In "Introduction to the Theory of Computation" Sipser precedes every proof with a "proof idea" basically examining meaning of each statement before the "pencil pushing". You wouldn't miss the forest while watching the trees like this.