enhanced slides:
- added pictures
- corrected theorems and the last axiom
- merged results and plans