I'm looking at the TODO MVC AngularJS example, and I see the application is defined as a module.va