reduce to a state: Difference between revisions