States.post and States.pre now return sets