Añadido RecordState con su DSL