FOIL and Factoring