Slides for formal model basics