Formatting and view-changes in GameStateA