Model all state in an application