This patch documents State in detail because it's a very common class
for developers to work with and it has a number of subtles.