4.6 Analysis State Models