-R theories DCOIOmega
theories
