StateDefinition