\input{notes/Basics} \input{notes/Serre} \input{notes/Rationalization}