initial state copied from session 7