Added final state explanation.