Trying to fix Go playground's link.
Introducing the In() and Satisfies() methods.
Gives an example of getting a transition system and collecting one state from it.
Attempting to write small intro about transition systems.