Use symbols to identify state