Future directions of automated deduction: Distributed automated deduction