The books are good but there are multiple sequences which have maybe 5% overlap tops with any of those books. Not saying that they aren't good recommendations - I am saying that your claim is invalid.

I'm definitely not claiming that two of these books will cover 80% of the subject matter of the Sequences. My claim was about the value. Of course, value is subjective, so my recommendation relies on analogical reasoning (which is quite weak, even for induction), specifically that Epsilon725 is like me in relevant respects at the time I first encountered OB/LW.