Omega-consistent

Summary