Add explanation of the correspondence between the script and the natural deduction proof
Write section about modal logics beyond K
Write section about Gödel's proof
Write conclusion