Ω-consistent_theory loading ...