0:37 Definition 1
1:16 Example 1 using Definition 1
2:53 Definition 2
3:20 Example 1 using Definition 2
5:15 Example 2 using Definitions 1 and 2