Software Deduction Answers · Maars