Deduction Analyzer Trademark Details