Ω-logic loading ...