rezumat: Add facts from progfun coursera.