Update Abstract State.