7.3 Design State Models