Fixed title page a bit
Wrote a number of proofs
Added some results
Fixed slides according to data "revelation"