• Intro
• About Daniela
• Induction
• Summation Notation
• Integers
• TDD is not a proof
• Conclusion