Abduction_(logic) loading ...