\BOOKMARK [1][-]{section.1}{Initial remarks}{}
\BOOKMARK [1][-]{section.2}{Conclusion}{}
\BOOKMARK [1][-]{section.3}{Introduction}{}
\BOOKMARK [1][-]{section.4}{First order predicate calculus}{}
\BOOKMARK [2][-]{subsection.4.1}{A conservative extension}{section.4}
\BOOKMARK [2][-]{subsection.4.2}{Notation}{section.4}
\BOOKMARK [2][-]{subsection.4.3}{Some small proofs}{section.4}
\BOOKMARK [1][-]{section.5}{Natural deduction}{}
\BOOKMARK [2][-]{subsection.5.1}{Derived lemmas}{section.5}
\BOOKMARK [2][-]{subsection.5.2}{Law of the Excluded Middle}{section.5}
\BOOKMARK [2][-]{subsection.5.3}{A word on }{section.5}
\BOOKMARK [3][-]{subsubsection.5.3.1}{A practical lemma}{subsection.5.3}
\BOOKMARK [2][-]{subsection.5.4}{Deduction lemma}{section.5}
\BOOKMARK [1][-]{section.6}{A nontrivial sequent}{}
\BOOKMARK [1][-]{section.A}{Pyk definitions}{}
\BOOKMARK [1][-]{section.B}{Tex definitions}{}
\BOOKMARK [1][-]{section.C}{Extra proof line numbers}{}
\BOOKMARK [1][-]{section.D}{Priority table}{}