stateful-issues write-up added (wip)