Topics Related to Deductions and Definition: