Thank you!

> I recommend skipping the proofs. They're not very informative and the calculus gets rather tedious.

And besides that is well over my head anyway, but I should be able to follow your main line of reasoning.