Fix homework: replace 'Negation' by 'Subtraction'.