Meta-logic loading ...