Term_(logic) loading ...