Omega-inconsistent