Text this: Finite transition systems :