I'm about 3/4s through this book although it's a short book, I like the way the autism slowly ramps up. I may lose track. Of course it doesn't show the actual proofs, but it's good for plebs like me to get an idea.