Please watch the introduction video (no audio). You can pause the video at any time to comprehend the content. Click here, if you want to open the example of the video in KeY (external window).