// bad states list