Comment by esafak

This is just the first cut. I have no doubt that they will polish their proofs over time.