The goal of my lectures is to outline a proof of Gareth O. Jones'recent result that the expansion of the real field by a Pfaffian chain and the exponential function is model complete. The proof combines both Wilkie's model-theoretic and Lion and Speissegger's geometric approaches to proving model completeness. Prerequisites for this course are basic differential geometry, basic model theory and the material covered by Chris Miller in his course.