3. Giving a GUI model of the example app augmented with snapshots (Section III)