Next_space.X.Y = NewState Space X Y