[quote=@Nimda]
<Snipped quote by Intrepid>

The class is learning new ways of expressing the same concept. It seems pointless, but you're abstracting concrete knowledge so you can apply high-level techniques later. Maybe your book is just stupid, but the class should end up being manageable.
[/quote]

My issue is with the proofs.