Comment by jrmg

Can someone explain this in lay-person’s terms?

I feel like I read and ‘understood’ the text of the blog post, but I’m still none the wiser about what sort of things this can prove and what the values of those proofs is.