Eso significa que los datos de transición con valores en Spin dan lugar a datos de transición para SO, automáticamente: el pasar a un grupo cociente pierde simplemente información.