Updated D6.tex with State Diagram