Devon teaches us how to subtract polynomials