Introducing State Partitioning