more notes to fix up remove_factors_of_others! changes name to remove_factors_of_each_other