Easier to work with StateAlphabets