We present structured proofs and argue that they are a necessary tool in the toolbox of the 21st century mathematician.
