I am not sure in what way the state described is immutable at all? It just seems like mutable state hidden behind some access methods?