Discussion

-Semantics of states-