Now storing state reach.
Now using vectors for updates.