omega-consistent