Before revision:  This allows for generalization to novel combinations of unseen values of state variables , something that non-factored forms of state abstractions cannot do.
After revision:  This allows for compositional generalization to unseen states , something that non-factored forms of state abstractions cannot do.