Notion of States generalized
Readme: New syntax for states