Comment by fooker

> Amazon even has placed bounties (and paid some) for proving things about the standard library.

Can you provide some links? Thanks.