* [PUB] Stefan's additions to the intro.