StateName

type StateName = string;