Of course haha! I was remarking on the breadth by which they explore and prove the underlying math.