Alter abstract States