Deduction Completionists