Presentation on Methods of Proof at NIE (13/06/2018)