The purpose of proof theory is to build well-behaved proof systems. In this first session, we introduce sequent calculi, discuss what properties make them behave well, outline how to obtain them, and explore their roles in mathematical logic.