@@ -70,7 +70,7 @@ Outline
7070=======
7171
7272This tutorial starts (:ref:`introst`) by describing how to manipulate
73−individual states, introduce a data type ``STrans`` for describing stateful
73+individual states, introduces a data type ``STrans`` for describing stateful
7474functions, and ``ST`` which describes top level state transitions.
7575Next (:ref:`smstypes`) it describes how to represent state machines in
7676types, and how to define *interfaces* for describing stateful systems.