I took BC Calculus this school year, but since I want a deeper grasp of Calculus [and since the course I hope to take next semester uses Spivak] I've decided to do a little independent study this summer. My question is over the process of actually doing this: I've seen suggestions of doing every single problem, but that seems a bit ridiculous. The first chapter has some 100 problems! Also, when the problem asks me to prove; how formal should I be? Should each line have a definition/theorem/corollary next to it? Thanks!