AState is final.