First_Order_Logic loading ...