Don't worry about it for this PR, but if updates/reads/states are all immutable, then they should be tuples. Just a note.