to sum up; to summarize; to conclude from facts; induction (method of deduction in logic)