ok, the fact that you need to define the state twice probably hints at something that needs to be improved but I'll leave that for now. Perhaps add a note explaining the issue with the duplicate state definition?