(but i think in this case the factoring is correct.)