Topics Related to Deductions and Software: