The semantic of ( and* ) is the same as in Agent.Monad.List.iter_p, that is the two elements are fed with the same initial agent and evaluated in parallel. As there is no reason to choose one state over the other as a result, we restore the state to the same initial value.