First-order-logic loading ...