Every screen that fetches data, like the feed or the leaderboard, is always in one of a few states. Model them badly and you get impossible combinations; model them well and the compiler guards every screen.