And then the third term is in fact exactly what we want, because we get f double prime g at zero over two, plus g double prime f at zero over two, plus the twos divide out, and I get f prime g prime at zero times x squared. 