transitions must define end states