Update Stateful.md