We need a nice way to provide state constraints.
We need a nice way to provide state constraints.