commenting on state space for helping Arno with implementation