Added concrete states.