Sipser's book was the point I tried to give up pencile-pushing/parroting, before every proof there is a "Proof Idea" that really fills the gap between the theorems and proof, and the more important ideas you should take away, I suddenly realized every thing I learned had this discontinuity between things you do in problems and proofs, and the general understandings and usefulness and philosophy behind it.