Implement state space