Deduction_(logic) loading ...