Omega-inconsistent loading ...