Omega-consistent