A toolkit for declaratively ensuring that the state of things is as they should be.