Const_omega
Refl_omega
G_romega