Programming effectively requires having a good model of a "notional machine"-an explanation of the underlying system that executes the code [7]. One of many challenges that novices face in learning programming is developing such a model. In our experience, it is helpful to explicitly introduce this model when teaching App Inventor