Pull use case descriptions into appendices, update case 1 state machines.