I think that each of these symbols represents a state