fixed R_union -> Reunion