Slide 11 : 21
The elucidative programming model